Number of the records: 1

Canonical Rules

SYSNO ASEP	0330849
Document Type	J - Journal Article
R&D Document Type	Journal Article
Subsidiary J	Článek ve WOS
Title	Canonical Rules
Title	Kanonická pravidla
Author(s)	Jeřábek, Emil (MU-W)_{RID, SAI, ORCID}
Source Title	Journal of Symbolic Logic. - : Cambridge University Press - ISSN 0022-4812 Roč. 74, č. 4 (2009), s. 1171-1205
Number of pages	35 s.
Language	eng - English
Country	US - United States
Keywords	inference rule ; modal logic ; intermediate logic
Subject RIV	BA - General Mathematics
R&D Projects	IAA900090703 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR)
	IAA1019401 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR)
CEZ	AV0Z10190503 - MU-W (2005-2011)
UT WOS	000272410200006
Annotation	We develop canonical rules capable of axiomatizing all systems of multiple-conclusion rules over K4 or IPC, by extension of the method of canonical formulas by Zakharyaschev [37]. e use the framework to give an alternative proof of the known analysis of admissible rules in basic transitive logics which additionally yields the following dichotomy: any canonical rule is either admissible in the logic, or it is equivalent to an assumption-free rule. Other applications of canonical rules include a generalization of the Block-Esakia theorem and the theory of modal companions to systems of multiple-conclusion rules or (finitary structural global) consequence relations, and a characterization of splittings in the lattices of consequence relations over monomodal or superintuitionistic logics with the finite model property.
Workplace	Mathematical Institute
Contact	Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757
Year of Publishing	2010

Number of the records: 1