Axioms for Lattices and Boolean Algebras
Ranganathan Padmanabhan, Sergiu Rudeanu · WORLD SCIENTIFIC eBooks · 2008
Equational Axiom Systems for Semilattices, Lattices, Modular and Distributive Lattices, and Boolean Algebras New Huntington Varieties (= Defined by Lattice Identities Characterizing Boolean Algebras Among the Class of All Uniquely Complemented Lattices) Minimal Self-Dual Axiom Systems for Lattices and Boolean Algebras, Discovering New Axioms with the Aid of Modern Theorem-Provers.