Repository | Book | Chapter
(2016) Modern logic 1850-1950, East and West, Basel, Birkhäuser.
We use an equivalent form of the Boolean Prime Ideal Theorem to give a proof of the Stone Representation Theorem for Boolean algebras. This proof gives rise to a natural list of axioms for Boolean algebras and also for propositional logic. Applications of the axiom system are also given.
Publication details
DOI: 10.1007/978-3-319-24756-4_13
Full citation:
Hodel, R. E. (2016)., A natural axiom system for boolean algebras with applications, in F. F. Abeles & M. E. Fuller (eds.), Modern logic 1850-1950, East and West, Basel, Birkhäuser, pp. 249-258.
This document is unfortunately not available for download at the moment.