A Natural Axiom System for Boolean Algebras with Applications

DOI10.1007/978-3-319-24756-4_13zbMATH Open1418.06012OpenAlexW2469120227MaRDI QIDQ5224782

Richard E. Hodel

Publication date: 24 July 2019

Published in: Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-24756-4_13

zbMATH Keywords

propositional logicBoolean algebrasBoolean ringsStone's representation theoremLindenbaum algebrasregular open algebras

Mathematics Subject Classification ID

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

This page was built for publication: A Natural Axiom System for Boolean Algebras with Applications

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