Počet záznamů: 1
A new hierarchy of infinitary logics in abstract algebraic logic
- 1.
SYSNO ASEP 0469118 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 A new hierarchy of infinitary logics in abstract algebraic logic Tvůrce(i) Lávička, Tomáš (UIVT-O)
Noguera, Carles (UTIA-B) RID, ORCIDZdroj.dok. Studia Logica. - : Springer - ISSN 0039-3215
Roč. 105, č. 3 (2017), s. 521-551Poč.str. 31 s. Forma vydání Tištěná - P Jazyk dok. eng - angličtina Země vyd. NL - Nizozemsko Klíč. slova Abstract algebraic logic ; consequence relations ; infinitary logics ; completeness properties Vědní obor RIV BA - Obecná matematika Obor OECD Pure mathematics Vědní obor RIV – spolupráce Ústav informatiky - Obecná matematika CEP GA13-14654S GA ČR - Grantová agentura ČR Institucionální podpora UTIA-B - RVO:67985556 ; UIVT-O - RVO:67985807 UT WOS 000401436800004 EID SCOPUS 85007165633 DOI https://doi.org/10.1007/s11225-016-9699-3 Anotace In this article we investigate infinitary propositional logics from the perspective of their completeness properties in abstract algebraic logic. It is well-known that every finitary logic is complete with respect to its relatively (finitely) subdirectly irreducible models. We identify two syntactical notions formulated in terms of (completely) intersection-prime theories that follow from finitarity and are sufficient conditions for the aforementioned completeness properties. We construct all the necessary counterexamples to show that all these properties define pairwise different classes of logics. Consequently, we obtain a new hierarchy of logics going beyond the scope of finitarity. Pracoviště Ústav teorie informace a automatizace Kontakt Markéta Votavová, votavova@utia.cas.cz, Tel.: 266 052 201. Rok sběru 2018
Počet záznamů: 1