A Set of Independent Axioms for Boolean Algebra

DOI10.1112/PLMS/S3-13.1.20MaRDI QIDQ3292589zbMATH OpenOpenAlexFDO

Authors R. M. Dicker

Publication date 1963

Published in Proceedings of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1112/plms/s3-13.1.20

zbMATH Keywords

lattices, ordered sets

Cited in

(5)

• An algebraic theory of clones
• Boolean-like algebras
• Non-commutative propositional logic with short-circuit evaluation
• Cartesian closed varieties. I: The classification theorem
• Classical logic with n truth values as a symmetric many-valued logic

This page was built for publication: A Set of Independent Axioms for Boolean Algebra

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