Počet záznamů: 1
Canonical Rules
- 1.
SYSNO ASEP 0330849 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název Canonical Rules Překlad názvu Kanonická pravidla Tvůrce(i) Jeřábek, Emil (MU-W) RID, SAI, ORCID Zdroj.dok. Journal of Symbolic Logic. - : Cambridge University Press - ISSN 0022-4812
Roč. 74, č. 4 (2009), s. 1171-1205Poč.str. 35 s. Jazyk dok. eng - angličtina Země vyd. US - Spojené státy americké Klíč. slova inference rule ; modal logic ; intermediate logic Vědní obor RIV BA - Obecná matematika CEP IAA900090703 GA AV ČR - Akademie věd IAA1019401 GA AV ČR - Akademie věd CEZ AV0Z10190503 - MU-W (2005-2011) UT WOS 000272410200006 Anotace 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. Pracoviště Matematický ústav Kontakt Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Rok sběru 2010
Počet záznamů: 1