On axiomatizations of Boolean algebras
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.
Saved in:
| Date: | 1997 |
|---|---|
| Main Authors: | , |
| Format: | Article |
| Language: | Russian English |
| Published: |
Institute of Mathematics, NAS of Ukraine
1997
|
| Online Access: | https://umj.imath.kiev.ua/index.php/umj/article/view/5084 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Ukrains’kyi Matematychnyi Zhurnal |
| Download file: |  |