The inconsistency predicate on De Morgan lattices
| Autor: | Adam Přenosil |
|---|---|
| Jazyk: | Czech<br />German<br />English |
| Rok vydání: | 2017 |
| Předmět: | |
| Zdroj: | Acta Universitatis Carolinae: Philosophica et Historica, Vol 2017, Iss 2, Pp 45-61 (2017) |
| Druh dokumentu: | article |
| ISSN: | 0567-8293 2464-7055 24647055 |
| DOI: | 10.14712/24647055.2017.15 |
| Popis: | We consider expansions of De Morgan lattices by an additional unary predicate interpreted in each De Morgan lattice by the ideal generated by all elements of the form a ∧ −a, and describe the finite lattice of strict universal Horn classes of such structures, thereby extending the description of the lattice of quasivarieties of De Morgan lattices due to Pynko. We also consider the same problem for expansions of De Morgan lattices by a constant interpreted as the maximal element of this ideal whenever it exists. |
| Databáze: | Directory of Open Access Journals |
| Externí odkaz: |
|