首页 | 本学科首页   官方微博 | 高级检索  
     


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. Kiev University, Kiev. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 49, No. 7, pp. 937–942, July, 1997.
Keywords:
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号