Počet záznamů: 1
On prevarieties of logic
- 1.0504825 - ÚI 2020 RIV CH eng J - Článek v odborném periodiku
Moraschini, Tommaso - Raftery, J.G.
On prevarieties of logic.
Algebra Universalis. Roč. 80, č. 3 (2019), č. článku 37. ISSN 0002-5240. E-ISSN 1420-8911
Grant CEP: GA MŠMT(CZ) EF17_050/0008361
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Klíčová slova: (pre)variety of logic * algebraizable logic * Maltsev class
Obor OECD: Pure mathematics
Impakt faktor: 0.404, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1007/s00012-019-0611-7
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.
Trvalý link: http://hdl.handle.net/11104/0296384
Počet záznamů: 1