Implicational classes of De Morgan lattices (Q1301839)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Implicational classes of De Morgan lattices |
scientific article; zbMATH DE number 1334684
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Implicational classes of De Morgan lattices |
scientific article; zbMATH DE number 1334684 |
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
