Implicational classes of De Morgan lattices Original Research Article

In this paper we find the lattice of all implicational classes of De Morgan lattices together with their axiomatizations and generating algebras. We show that there are exactly eight implicational classes of De Morgan lattices and that these are all finitely-axiomatizable and finitely generated quasi-varieties.