Equational bases of boolean algebras
- 1 September 1964
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 29 (3) , 115-124
- https://doi.org/10.2307/2271618
Abstract
It is well-known that a Boolean algebra (B, +, ., ‐) may be defined as an algebraic system with at least two elements such that (for all x, y, z ε B): These axioms or equations are not independent, in the sense that some of them are logical consequences of the others. B. A. Bernstein [1] thought that the first three and their duals form an independent dual-symmetric definition of a Boolean algebra, but R. Montague and J. Tarski [3] proved later that B1 (or B̅1) follows from B2, B3, B̅1, B̅2, B̅3 (from B1, B2, B3, B̅2, B̅3).Keywords
This publication has 1 reference indexed in Scilit:
- A simplification of the Whitehead-Huntington set of postulates for boolean algebrasBulletin of the American Mathematical Society, 1916