Independent sets of axioms for boolean algebras
Makaleler > Tam Makale · 2018
Yazarlar: Tahsin ÖNER
Balıkesir Üniversitesi Fen Bilimleri Enstitüsü Dergisi, Uluslararası, 2018, cilt 20, ss 307-314
Özet
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.