A natural axiom system for boolean algebras with applications

R. E. Hodel

pp. 249-258

in: Francine F. Abeles, Mark E. Fuller (eds), Modern logic 1850-1950, East and West, Basel, Birkhäuser, 2016

Abstract

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.