On axiomatizations of Boolean algebras

Authors

  • L. P. Lisovik

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.

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.