Independent sets of axioms for boolean algebras
Tahsin Öner · Balıkesir Üniversitesi Fen Bilimleri Enstitüsü Dergisi · 2018
In this work, we review axiomatic systems and prove some of the equivalent axiomatizations of Boolean algebras. Also we prove the independence of three axioms, proposed by Huntington and then by Robbins, which form a minimal set of axioms for Boolean algebras.