Equational two axiom bases for Boolean algebras and some other lattice theories

DOI10.1305/NDJFL/1093882808zbMath0437.06001OpenAlexW2033568395WikidataQ114598281 ScholiaQ114598281MaRDI QIDQ1141156

Boleslaw Sobocinski

Publication date: 1979

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093882808

zbMATH Keywords

Boolean algebrasorthomodular latticesbounded distributive latticesortholatticesjoin semilatticesbounded modular latticesequational axiom systems

Mathematics Subject Classification ID

Partial orders, general (06A06) Structure and representation theory of distributive lattices (06D05) Semimodular lattices, geometric lattices (06C10) Complemented lattices, orthocomplemented lattices and posets (06C15) Modular lattices, Desarguesian lattices (06C05) Structure theory of Boolean algebras (06E05) Semilattices (06A12)

Related Items (2)

Bibliography on quantum logics and related structures ⋮ Relation algebras: Concept of points and representability

This page was built for publication: Equational two axiom bases for Boolean algebras and some other lattice theories