On axiomatizations of Boolean algebras
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.Downloads
Published
25.07.1997
Issue
Section
Research articles
How to Cite
Lisovik, L. P. “On Axiomatizations of Boolean Algebras”. Ukrains’kyi Matematychnyi Zhurnal, vol. 49, no. 7, July 1997, pp. 937–942, https://umj.imath.kiev.ua/index.php/umj/article/view/5084.