Independent sets of axioms for boolean algebras
Küçük Resim Yok
Tarih
2018
Yazarlar
Dergi Başlığı
Dergi ISSN
Cilt Başlığı
Yayıncı
Erişim Hakkı
info:eu-repo/semantics/openAccess
Ö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.
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ı.
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ı.
Açıklama
Anahtar Kelimeler
Kimya, Analitik, Kimya, Uygulamalı, Kimya, İnorganik ve Nükleer, Kimya, Tıbbi, Kimya, Organik, Matematik, Fizik, Uygulamalı, Fizik, Atomik ve Moleküler Kimya, Fizik, Katı Hal, Fizik, Akışkanlar ve Plazma, Fizik, Matematik, Fizik, Nükleer
Kaynak
Balıkesir Üniversitesi Fen Bilimleri Enstitüsü Dergisi
WoS Q Değeri
Scopus Q Değeri
Cilt
20
Sayı
2
