Equational two axiom bases for Boolean algebras and some other lattice theories.
Bolesław Sobociński · Notre Dame Journal of Formal Logic · 1979
In this paper it will be shown that the postulate systems for Boolean algebras and six other lattice theories can be reduced to sets containing only two equational axioms.As far as I know such axiomatizations of the theories under investigation are not mentioned in the literature.