Number of the records: 1
On prevarieties of logic
- 1.0504825 - ÚI 2020 RIV CH eng J - Journal Article
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
R&D Projects: GA MŠMT(CZ) EF17_050/0008361
EU Projects: European Commission(XE) 689176 - SYSMICS
Institutional support: RVO:67985807
Keywords : (pre)variety of logic * algebraizable logic * Maltsev class
OECD category: Pure mathematics
Impact factor: 0.404, year: 2019
Method of publishing: Limited access
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.
Permanent Link: http://hdl.handle.net/11104/0296384
Number of the records: 1