A single axiom for Boolean algebra

MaRDI QIDQ2941457zbMATH OpenFDO

Authors

Publication date 28 August 2015

Full work available at URL http://www.jams.or.jp/scm/abstract/e-2013/2013-20.txt, http://www.jams.or.jp/scm/contents/e-2013-2/2013-20.pdf

zbMATH Keywords

Boolean algebraHuntington's first systemLukasiewicz's notationpropositional calculussingle axiom

Mathematics Subject Classification ID

Classical propositional logic (03B05) Structure theory of Boolean algebras (06E05)

Recommendations

• A single axiom for Boolean algebras
• The Horn theory of Boole's partial algebras
• Short single axioms for Boolean algebra
• Single identities for ternary Boolean algebras
• On axiomatizations of Boolean algebras

Cited in

(7)

• Single identities for ternary Boolean algebras
• A single axiom for Boolean algebras
• Short single axioms for Boolean algebra
• scientific article; zbMATH DE number 120344 (Why is no real title available?)
• On axiomatizations of Boolean algebras
• A natural axiom system for Boolean algebras with applications
• Fiala-Agre list of single axioms for Boolean groups is wrong

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2941457)