Sobocinski, Boleslaw Equational two axiom bases for Boolean algebras and some other lattice theories. (English) Zbl 0437.06001 Notre Dame J. Formal Logic 20, 865-875 (1979). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 Documents 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 Keywords:equational axiom systems; join semilattices; Boolean algebras; ortholattices; bounded modular lattices; orthomodular lattices; bounded distributive lattices PDFBibTeX XMLCite \textit{B. Sobocinski}, Notre Dame J. Formal Logic 20, 865--875 (1979; Zbl 0437.06001) Full Text: DOI