Том 71
№ 11

All Issues

On axiomatizations of Boolean algebras

Lisovik L. P.

Full text (.pdf)


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.

English version (Springer): Ukrainian Mathematical Journal 49 (1997), no. 7, pp 1051-1057.

Citation Example: Lisovik L. P. On axiomatizations of Boolean algebras // Ukr. Mat. Zh. - 1997. - 49, № 7. - pp. 937–942.

Full text