The inconsistency predicate on De Morgan lattices
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...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | ces |
| Published: |
Karolinum Press
2017-11-01
|
| Series: | Acta Universitatis Carolinae: Philosophica et Historica |
| Subjects: | |
| Online Access: | http://www.karolinum.cz/doi/10.14712/24647055.2017.15 |