Number of the records: 1
On prevarieties of logic
- 1.
SYSNO ASEP 0504825 Document Type J - Journal Article R&D Document Type Journal Article Subsidiary J Článek ve WOS Title On prevarieties of logic Author(s) Moraschini, Tommaso (UIVT-O) SAI, RID
Raftery, J.G. (ZA)Article number 37 Source Title Algebra Universalis. - : Springer - ISSN 0002-5240
Roč. 80, č. 3 (2019)Number of pages 11 s. Language eng - English Country CH - Switzerland Keywords (pre)variety of logic ; algebraizable logic ; Maltsev class Subject RIV BA - General Mathematics OECD category Pure mathematics R&D Projects EF17_050/0008361 GA MŠMT - Ministry of Education, Youth and Sports (MEYS) Method of publishing Limited access Institutional support UIVT-O - RVO:67985807 UT WOS 000484454900001 EID SCOPUS 85071938249 DOI 10.1007/s00012-019-0611-7 Annotation 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. Workplace Institute of Computer Science Contact Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Year of Publishing 2020 Electronic address http://dx.doi.org/10.1007/s00012-019-0611-7
Number of the records: 1