Yap Hian Poh. Postulational study of an axiom system of Boolean algebra. Majallah Tahunan 'Ilmu Pasti—Shu Hsüeh Nien K'an—Bulletin of Mathematical Society of Nanyang University , pp. 94–110. - R. M. Dicker. A set of independent axioms for Boolean algebra. Proceedings of the London Mathematical Society, ser. 3 vol. 13 , pp. 20–30. - P. J. van Albada. A self-dual system of axioms for Boolean algebra. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A vol. 67 , pp. 377–381; also Indagationes mathematicae, vol. 26 , pp. 377–381. - Antonio Diego and Alberto Suárez. Two sets of axioms for Boolean algebras. Portugaliae mathematica, vol. 23 nos. 3–4 , pp. 139–145. - P. J. van Albada. Axiomatique des algèbres de Boole. Bulletin de la Société Mathématique de Belgique, vol. 18 , pp. 260–272. - Lawrence J. Dickson. A short axiomatic system for Boolean algebra. Pi Mu Epsilon journal, vol. 4 no. 6 , pp. 253–257. - Leroy J. Dickey. A shorter axiomatic system for Boolean algebra [Book Review]

Journal of Symbolic Logic 38 (4):658-660 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272016

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Dwinger Ph.. On the completeness of the quotient algebras of a complete Boolean algebra I. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 61 , pp. 448–456; also Indagationes mathematicae, vol. 20 , pp. 448–456. [REVIEW]Alfred W. Hales - 1969 - Journal of Symbolic Logic 33 (4):625-625.
Dwinger Ph. and Yaqub F. M.. Free extensions of sets of Boolean algebras. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 67 , pp. 567–577; also Indagationes mathematicae, vol. 26 , pp. 567–577. [REVIEW]Alfred W. Hales - 1971 - Journal of Symbolic Logic 36 (1):163-164.
Copeland Arthur H. Sr., and Harary Frank. The extension of an arbitrary Boolean algebra to an implicative Boolean algebra. Proceedings of the American Mathematical Society, vol. 4 , pp. 751–758. [REVIEW]K. E. Aubert - 1959 - Journal of Symbolic Logic 24 (3):254-254.
Dwinger PH.. Remarks on the field representations of Boolean algebras. Koninklijke Nederlandse Akademie van Wettenschappen, Proceedings, series A, vol. 63 , pp. 213–217; also Indagationes mathematicae, vol. 22 , pp. 213–217. [REVIEW]Robert LaGrange - 1969 - Journal of Symbolic Logic 33 (4):625-625.
Ph. Dwinger. Direct limits of partially ordered systems of Boolean algebras. Koninklijke Nederlandse Akademie van Wetenschappen, series A, vol. 70 , pp. 317–325; also Indagationes mathematicae, vol. 29 , pp. 317-325. [REVIEW]R. S. Pierce - 1969 - Journal of Symbolic Logic 34 (1):132-132.
Dwinger Ph. and Yaqub F. M.. Generalized free products of Boolean algebras with an amalgamated subalgebra. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 66 , pp. 225–231; also lndagationes mathematicae, vol. 25 , pp. 225–231. [REVIEW]Robert LaGrange - 1968 - Journal of Symbolic Logic 33 (1):124-124.
Hoberman Solomon and McKinsey J. C. C.. A set of postulates for Boolean algebra. Bulletin of the American Mathematical Society, vol. 43 , pp. 588–592. [REVIEW]Alonzo Church - 1937 - Journal of Symbolic Logic 2 (4):172-173.
L. E. J. Brouwer. Remarques sur la notion d'ordre. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 230 , pp. 263–265. - L. E. J. Brouwer. Sur la possibilité d'ordonner le continu. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 230 , pp. 349–350. - L. E. J. Brouwer. On order in the continuum, and the relation of truth to non-contradictority. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings, series A, vol. 54 , pp. 357–358; also Indagationes mathematicae, vol. 13 , pp. 357–358. See Erratum, Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings, series A, vol. 55 , p. 79; also Indagationes mathematicae, vol. 14 , p. 79. - L. E. J. Brouwer. Over accumulatiekernen van oneindige kernsoorten . Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings, series A, vol. 54 , vol. 55 , pp. 439–441; also Indagationes mathematicae, vol. 14 , pp. 439–441. [REVIEW]Alfons Borgers - 1954 - Journal of Symbolic Logic 19 (2):125-126.
Byrne Lee. Two brief formulations of Boolean algebra. Bulletin of the American Mathematical Society, vol. 52 , pp. 269–272. [REVIEW]J. C. C. McKinsey - 1946 - Journal of Symbolic Logic 11 (3):85-85.
J. Łos and R. Suszko. Remarks on sentential logics. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A vol. 61 , pp. 177–183; also Indagationes mathematicae, vol. 20 , pp. 177-183. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (4):603-604.

Analytics

Added to PP
2015-02-05

Downloads
43 (#381,354)

6 months
7 (#491,177)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references