Počet záznamů: 1
Varieties of positive modal algebras and structural completeness
- 1.
SYSNO ASEP 0504824 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 Varieties of positive modal algebras and structural completeness Tvůrce(i) Moraschini, Tommaso (UIVT-O) SAI, RID Zdroj.dok. Review of Symbolic Logic. - : Cambridge University Press - ISSN 1755-0203
Roč. 12, č. 3 (2019), s. 557-588Poč.str. 32 s. Jazyk dok. eng - angličtina Země vyd. GB - Velká Británie Klíč. slova positive modal logic ; modal logic ; structural completeness ; admissible rule ; abstract algebraic logic ; algebraization of Gentzen systems Vědní obor RIV BA - Obecná matematika Obor OECD Pure mathematics CEP GF15-34650L GA ČR - Grantová agentura ČR EF17_050/0008361 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy Způsob publikování Omezený přístup Institucionální podpora UIVT-O - RVO:67985807 UT WOS 000483091300006 EID SCOPUS 85067359071 DOI 10.1017/S1755020319000236 Anotace Positive modal algebras are the〈∧,∨, 3, D, 0, 1〉-subreducts of modal algebras. We show that the variety of positive interior algebras is not locally finite. However, the free one-generated positive interior algebra has 37 elements. Moreover, we show that there are exactly 16 varieties of height at most 4 in the lattice of varieties of positive interior algebras. Building on this, we infer that there are only 3 non-trivial structurally complete varieties of positive K4-algebras. These are also the unique non-trivial hereditarily structurally complete such varieties. Moreover, we characterize passively structurally complete varieties of positive K4-algebras and show that there are infinitely many of them. These results are related to the study of structurally complete axiomatic extensions of an algebraizable Gentzen system for positive modal logic. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2020 Elektronická adresa http://dx.doi.org/10.1017/S1755020319000236
Počet záznamů: 1