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.
Gespeichert in:
| Datum: | 1997 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | Russisch Englisch |
| Veröffentlicht: |
Institute of Mathematics, NAS of Ukraine
1997
|
| Online Zugang: | https://umj.imath.kiev.ua/index.php/umj/article/view/5084 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Ukrains’kyi Matematychnyi Zhurnal |
| Завантажити файл: |  |