Independent sets of axioms for boolean algebras

Home Page
About
Submit A Journal
Submit A Conference
Submit Paper/Book
- Submit a Preprint
- Submit a Book
Contact

Balıkesir Üniversitesi Fen Bilimleri Enstitüsü Dergisi
Volume: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 : 51 | Download : 9

Publication Date : 2018-12-01

Article Type : Research Paper

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

ORIGINAL ARTICLE URL

* There may have been changes in the journal, article,conference, book, preprint etc. informations. Therefore, it would be appropriate to follow the information on the official page of the source. The information here is shared for informational purposes. IAD is not responsible for incorrect or missing information.

Index of Academic Documents
İzmir Academy Association
CopyRight © 2023-2026