Independent sets of axioms for boolean algebras
Articles > Article · 2018
Authors: Tahsin ÖNER
Balıkesir Üniversitesi Fen Bilimleri Enstitüsü Dergisi, International, 2018, vol 20, pp 307-314
Summary
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.