Počet záznamů: 1
Logics of varieties, logics of semilattices and conjunction
- 1.
SYSNO ASEP 0478200 Druh ASEP J - Článek v odborném periodiku Zařazení RIV Záznam nebyl označen do RIV Poddruh J Článek ve WOS Název Logics of varieties, logics of semilattices and conjunction Tvůrce(i) Font, J.M. (ES)
Moraschini, Tommaso (UIVT-O) SAI, RIDCelkový počet autorů 2 Zdroj.dok. Logic Journal of the IGPL. - : Oxford University Press - ISSN 1367-0751
Roč. 22, č. 6 (2014), s. 818-843Poč.str. 26 s. Jazyk dok. eng - angličtina Země vyd. GB - Velká Británie Klíč. slova Semilattice ; logics of semilattices ; logics of varieties ; conjunction ; disjunction ; abstract algebraic logic ; rainbows ; Leibniz operator ; intrinsic variety ; sectionally finite height ; selfextensional logic UT WOS 000346034500002 EID SCOPUS 84942575855 DOI 10.1093/jigpal/jzu003 Anotace This article starts with a general analysis of the problem of how to associate a logic with a given variety of algebras, and shows that it has a positive solution for two of the standard procedures of performing this association, and a negative one in the third. Then the article focuses on the case of the 'logics of semilattices', which are defined as the logics related to the variety of semilatices via two of the standard procedures of abstract algebraic logic. We study their main properties, classify them in the Leibniz hierarchy and the Frege hierarchy (the two hierarchies of abstract algebraic logic), and study the poset they form (in particular, we find its least element and its two unique maximals, and prove it is atomless). Even if there is an infinity of such logics of semilattices, it is not known whether there are logics related to the variety of semilattices via the Leibniz reduction too; we discuss this issue and provide a partial solution to this problem. The final section studies one of the maximals of this poset, the conjunctive fragment of classical propositional logic; among other properties we give two new characterisations of this logic, one of them in terms of a property of the Leibniz operator. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2018
Počet záznamů: 1