Implicational classes of de morgan lattices

Abstract

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. © 1999 Elsevier Science B.V. All rights reserved.