Počet záznamů: 1
On prevarieties of logic
- 1.
SYSNO ASEP 0504825 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 On prevarieties of logic Tvůrce(i) Moraschini, Tommaso (UIVT-O) SAI, RID
Raftery, J.G. (ZA)Číslo článku 37 Zdroj.dok. Algebra Universalis. - : Springer - ISSN 0002-5240
Roč. 80, č. 3 (2019)Poč.str. 11 s. Jazyk dok. eng - angličtina Země vyd. CH - Švýcarsko Klíč. slova (pre)variety of logic ; algebraizable logic ; Maltsev class Vědní obor RIV BA - Obecná matematika Obor OECD Pure mathematics CEP 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 000484454900001 EID SCOPUS 85071938249 DOI 10.1007/s00012-019-0611-7 Anotace It is proved that every prevariety of algebras is categorically equivalent to a 'prevariety of logic', i.e., to the equivalent algebraic semantics of some sentential deductive system. This allows us to show that no nontrivial equation in the language 'meet, join, and relational product' holds in the congruence lattices of all members of every variety of logic, and that being a (pre)variety of logic is not a categorical property. 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.1007/s00012-019-0611-7
Počet záznamů: 1