×

Equational two axiom bases for Boolean algebras and some other lattice theories. (English) Zbl 0437.06001


MSC:

06A06 Partial orders, general
06A12 Semilattices
06C05 Modular lattices, Desarguesian lattices
06C10 Semimodular lattices, geometric lattices
06C15 Complemented lattices, orthocomplemented lattices and posets
06D05 Structure and representation theory of distributive lattices
06E05 Structure theory of Boolean algebras
PDFBibTeX XMLCite
Full Text: DOI