Araştırma Makalesi
BibTex RIS Kaynak Göster

Independent sets of axioms for boolean algebras

Yıl 2018, Cilt: 20 Sayı: 2, 307 - 314, 01.12.2018
https://doi.org/10.25092/baunfbed.433895

Öz

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.

Kaynakça

  • Coxeter, H.S.M., Non-Euclidean geometry, Mathematical Association of America, (1998).
  • Huntingtion, E. V., Sets of independent postulates for the algebra of logic, Transaction of the American Mathematical Society, 5, 208-309, (1904).
  • Huntingtion, E. V., New sets of independent postulates for the algebra of logic, with special reference to Whitehead and Russell’s principia mathematica, Transaction of the American Mathematical Society, 35, 274-304, (1933).
  • Tarski, A., Logic, Semantics, Mathematics, The Clarendron Press, Oxford, (1956).
  • Kreisel, G., Independent recursive axiomatization, Journal of Symbolic Logic, 22, 109, (1957).
  • Kreisel, G., Addition aux cours, corrections et renseignements bibliographiques, Polycopie, Paris, (1962).
  • Reznikoof, I., Tout ensemble de formules de la logique classique est equivaleut un ensemble independant, Comptes Rendus De L’Académie Des Sciences Mathematique, 2385-2388, (1965).
  • Oner, T. ve Terziler, M., Independence of countable set of formlulas of the propositional calculus, Ars Combinatoria, 112, 73-80, (2013).
  • Givant, S. and Halmos, P., Introduction to Boolean algebra, Springer-Verlag, (2007).
  • Winker, S., Absorption and idempotency criteria for a problem in near-boolean algebras, Journal of Algebra, 153, 414-423, (1992).
  • McCune, W., Solution of the Robbins problem, Journal of Automated Reasoning, 19, 277-318, (1997).
  • Mann, A. L., A case study in automated theorem proving: otter and EQP, Master Thesis, Universty of Colorado, Department of Mathematics, (2003).

Boole cebirleri için bağımsız aksiyom kümeleri

Yıl 2018, Cilt: 20 Sayı: 2, 307 - 314, 01.12.2018
https://doi.org/10.25092/baunfbed.433895

Öz

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ı.

Kaynakça

  • Coxeter, H.S.M., Non-Euclidean geometry, Mathematical Association of America, (1998).
  • Huntingtion, E. V., Sets of independent postulates for the algebra of logic, Transaction of the American Mathematical Society, 5, 208-309, (1904).
  • Huntingtion, E. V., New sets of independent postulates for the algebra of logic, with special reference to Whitehead and Russell’s principia mathematica, Transaction of the American Mathematical Society, 35, 274-304, (1933).
  • Tarski, A., Logic, Semantics, Mathematics, The Clarendron Press, Oxford, (1956).
  • Kreisel, G., Independent recursive axiomatization, Journal of Symbolic Logic, 22, 109, (1957).
  • Kreisel, G., Addition aux cours, corrections et renseignements bibliographiques, Polycopie, Paris, (1962).
  • Reznikoof, I., Tout ensemble de formules de la logique classique est equivaleut un ensemble independant, Comptes Rendus De L’Académie Des Sciences Mathematique, 2385-2388, (1965).
  • Oner, T. ve Terziler, M., Independence of countable set of formlulas of the propositional calculus, Ars Combinatoria, 112, 73-80, (2013).
  • Givant, S. and Halmos, P., Introduction to Boolean algebra, Springer-Verlag, (2007).
  • Winker, S., Absorption and idempotency criteria for a problem in near-boolean algebras, Journal of Algebra, 153, 414-423, (1992).
  • McCune, W., Solution of the Robbins problem, Journal of Automated Reasoning, 19, 277-318, (1997).
  • Mann, A. L., A case study in automated theorem proving: otter and EQP, Master Thesis, Universty of Colorado, Department of Mathematics, (2003).
Toplam 12 adet kaynakça vardır.

Ayrıntılar

Birincil Dil İngilizce
Bölüm Araştırma Makalesi
Yazarlar

Tahsin Öner

Yayımlanma Tarihi 1 Aralık 2018
Gönderilme Tarihi 10 Ocak 2018
Yayımlandığı Sayı Yıl 2018 Cilt: 20 Sayı: 2

Kaynak Göster

APA Öner, T. (2018). Independent sets of axioms for boolean algebras. Balıkesir Üniversitesi Fen Bilimleri Enstitüsü Dergisi, 20(2), 307-314. https://doi.org/10.25092/baunfbed.433895
AMA Öner T. Independent sets of axioms for boolean algebras. BAUN Fen. Bil. Enst. Dergisi. Aralık 2018;20(2):307-314. doi:10.25092/baunfbed.433895
Chicago Öner, Tahsin. “Independent Sets of Axioms for Boolean Algebras”. Balıkesir Üniversitesi Fen Bilimleri Enstitüsü Dergisi 20, sy. 2 (Aralık 2018): 307-14. https://doi.org/10.25092/baunfbed.433895.
EndNote Öner T (01 Aralık 2018) Independent sets of axioms for boolean algebras. Balıkesir Üniversitesi Fen Bilimleri Enstitüsü Dergisi 20 2 307–314.
IEEE T. Öner, “Independent sets of axioms for boolean algebras”, BAUN Fen. Bil. Enst. Dergisi, c. 20, sy. 2, ss. 307–314, 2018, doi: 10.25092/baunfbed.433895.
ISNAD Öner, Tahsin. “Independent Sets of Axioms for Boolean Algebras”. Balıkesir Üniversitesi Fen Bilimleri Enstitüsü Dergisi 20/2 (Aralık 2018), 307-314. https://doi.org/10.25092/baunfbed.433895.
JAMA Öner T. Independent sets of axioms for boolean algebras. BAUN Fen. Bil. Enst. Dergisi. 2018;20:307–314.
MLA Öner, Tahsin. “Independent Sets of Axioms for Boolean Algebras”. Balıkesir Üniversitesi Fen Bilimleri Enstitüsü Dergisi, c. 20, sy. 2, 2018, ss. 307-14, doi:10.25092/baunfbed.433895.
Vancouver Öner T. Independent sets of axioms for boolean algebras. BAUN Fen. Bil. Enst. Dergisi. 2018;20(2):307-14.