JavaScript is disabled for your browser. Some features of this site may not work without it.
We are excited to announce that the repository will soon undergo an upgrade, featuring a new look and feel along with several enhanced features to improve your experience. Please be on the lookout for further updates and announcements regarding the launch date. We appreciate your support and look forward to unveiling the improved platform soon.
| dc.contributor.author | Moraschini, Tommaso
|
|
| dc.contributor.author | Raftery, James G.
|
|
| dc.date.accessioned | 2019-10-01T10:08:20Z | |
| dc.date.issued | 2019-09 | |
| dc.description.abstract | 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 ∧,∨,∘ 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. | en_ZA |
| dc.description.department | Mathematics and Applied Mathematics | en_ZA |
| dc.description.embargo | 2020-09-01 | |
| dc.description.librarian | hj2019 | en_ZA |
| dc.description.uri | https://link.springer.com/journal/12 | en_ZA |
| dc.identifier.citation | Moraschini, T. & Raftery, J.G. On prevarieties of logic. Algebra universalis (2019) 80: 37. https://doi.org/10.1007/s00012-019-0611-7. | en_ZA |
| dc.identifier.issn | 0002-5240 (print) | |
| dc.identifier.issn | 1420-8911 (online) | |
| dc.identifier.other | 10.1007/s00012-019-0611-7 | |
| dc.identifier.uri | http://hdl.handle.net/2263/71517 | |
| dc.language.iso | en | en_ZA |
| dc.publisher | Springer | en_ZA |
| dc.rights | © Springer Nature Switzerland AG 2019. The original publication is available at : https://link.springer.com/journal/12. | en_ZA |
| dc.subject | Prevariety of logic | en_ZA |
| dc.subject | Algebraizable logic | en_ZA |
| dc.subject | Maltsev class | en_ZA |
| dc.title | On prevarieties of logic | en_ZA |
| dc.type | Postprint Article | en_ZA |
