- Balıkesir Üniversitesi Fen Bilimleri Enstitüsü Dergisi
- Vol: 20 Issue: 2
- Independent sets of axioms for boolean algebras
Independent sets of axioms for boolean algebras
Authors : Tahsin Öner
Pages : 307-314
Doi:10.25092/baunfbed.433895
View : 9 | Download : 8
Publication Date : 2018-12-01
Article Type : Research
Abstract :Bu çalışmada, aksiyomatik sistemler araştırıldı ve Boole cebirlerinin denk aksiyomlaştırmalarının bazıları ispatlandı. Ayrıca, Huntington ve sonrasında Robbins tarafından ileri sürülen, Boole cebirleri için aksiyomların bir minimal kümesini oluşturan üç aksiyomun bağımsızlığını ispatlandı.Keywords : Klasik lojik, Boole cebirleri, aksiyomlaştırılabilirlik, tutarlılık, bağımsızlık