Implicational classes of De Morgan lattices (Q1301839)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Implicational classes of De Morgan lattices |
scientific article |
Statements
Implicational classes of De Morgan lattices (English)
0 references
12 September 1999
0 references
The author finds the lattice of all implicational classes of De Morgan lattices together with their axiomatization and generating algebras. It is proved that there are exactly eight implicational classes of De Morgan lattices and that these are all finitely axiomatizable and finitely generated quasivarieties.
0 references
lattice of implicational classes
0 references
De Morgan lattices
0 references
axiomatization
0 references
generating algebras
0 references
quasivarieties
0 references