A natural axiom system for boolean algebras with applications
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.
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.