A single axiom for Boolean algebras

DOI10.1016/j.dam.2018.08.002zbMath1403.06020OpenAlexW2889322370WikidataQ114015687 ScholiaQ114015687MaRDI QIDQ1800388

Léonard Kwuida

Publication date: 23 October 2018

Published in: Discrete Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.dam.2018.08.002

zbMATH Keywords

latticeBoolean algebraaxioms

Mathematics Subject Classification ID

Complemented lattices, orthocomplemented lattices and posets (06C15) Structure theory of Boolean algebras (06E05) Generalizations of Boolean algebras (06E75)

Cites Work

• On the law \((a \cdot b^\prime)^\prime= b+a^\prime\cdot b^\prime\) in De Morgan algebras and orthomodular lattices
• On bounded lattices satisfying Elkan's law
• Short single axioms for Boolean algebra
• On the isomorphism problem of concept algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A single axiom for Boolean algebras