Abstract
We construct some new axiomatic systems for the Boolean algebra. In particular, an axiomatic system for disjunction and logical negation consists of three axioms. We prove the independence of the axiomatic systems proposed.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
E. V. Huntington, “Sets of independent postulates for the algebra of logic,” Trans. Am. Math. Soc., 5, 288–309 (1904).
E. V. Huntington, “New sets of postulates for the algebra and logic, with special reference to Whitehead and Russell's Principia Mathematica,” Trans. Am. Math. Soc., 35, 274–304 (1933); “Corrections,” Trans. Am. Math. Soc., 35, 557–558, 971 (1933).
R. R. Stoll, Sets, Logic, and Axiomatic Theories, Freeman, San Francisco-London (1961).
F. Gerrish, “The independence of Huntington's axioms for Boolean algebra,” Math. Gazette, 62, No. 419, 35–40 (1978).
L. A. Skornyakov (editor), General Algebra [in Russian], Vol. 2, Nauka, Moscow (1991).
J. R. Shoenfield, Mathematical Logic, Addison-Wesley (1967).
Additional information
Kiev University, Kiev. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 49, No. 7, pp. 937–942, July, 1997.
Rights and permissions
About this article
Cite this article
Lisovik, L.P. On axiomatizations of Boolean algebras. Ukr Math J 49, 1051–1057 (1997). https://doi.org/10.1007/BF02528750
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02528750