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: |  |
Institution
Ukrains’kyi Matematychnyi Zhurnal| _version_ | 1860511283214811136 |
|---|---|
| author | Lisovik, L. P. Лисовик, Л. П. Лисовик, Л. П. |
| author_facet | Lisovik, L. P. Лисовик, Л. П. Лисовик, Л. П. |
| author_sort | Lisovik, L. P. |
| baseUrl_str | https://umj.imath.kiev.ua/index.php/umj/oai |
| collection | OJS |
| datestamp_date | 2020-03-18T21:24:22Z |
| description | 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. |
| first_indexed | 2026-03-24T03:10:26Z |
| format | Article |
| fulltext |
0057
0058
0059
0060
0061
0062
|
| id | umjimathkievua-article-5084 |
| institution | Ukrains’kyi Matematychnyi Zhurnal |
| keywords_txt_mv | keywords |
| language | rus English |
| last_indexed | 2026-03-24T03:10:26Z |
| publishDate | 1997 |
| publisher | Institute of Mathematics, NAS of Ukraine |
| record_format | ojs |
| resource_txt_mv | umjimathkievua/e5/8b302b642eff4cc2a52ec30d52ee6fe5.pdf |
| spelling | umjimathkievua-article-50842020-03-18T21:24:22Z On axiomatizations of Boolean algebras Об аксиоматизациях булевых алгебр Lisovik, L. P. Лисовик, Л. П. Лисовик, Л. П. 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. Побудовано деякі нові системи аксіом для булевої алгебри. Зокрема, аксіоматична система для диз'юнкції та логічного заперечення має три аксіоми. Для запропонованих аксіоматичних систем доведено їх незалежність. Institute of Mathematics, NAS of Ukraine 1997-07-25 Article Article application/pdf https://umj.imath.kiev.ua/index.php/umj/article/view/5084 Ukrains’kyi Matematychnyi Zhurnal; Vol. 49 No. 7 (1997); 937–942 Український математичний журнал; Том 49 № 7 (1997); 937–942 1027-3190 rus en https://umj.imath.kiev.ua/index.php/umj/article/view/5084/6865 https://umj.imath.kiev.ua/index.php/umj/article/view/5084/6866 Copyright (c) 1997 Lisovik L. P. |
| spellingShingle | Lisovik, L. P. Лисовик, Л. П. Лисовик, Л. П. On axiomatizations of Boolean algebras |
| title | On axiomatizations of Boolean algebras |
| title_alt | Об аксиоматизациях булевых алгебр |
| title_full | On axiomatizations of Boolean algebras |
| title_fullStr | On axiomatizations of Boolean algebras |
| title_full_unstemmed | On axiomatizations of Boolean algebras |
| title_short | On axiomatizations of Boolean algebras |
| title_sort | on axiomatizations of boolean algebras |
| url | https://umj.imath.kiev.ua/index.php/umj/article/view/5084 |
| work_keys_str_mv | AT lisoviklp onaxiomatizationsofbooleanalgebras AT lisoviklp onaxiomatizationsofbooleanalgebras AT lisoviklp onaxiomatizationsofbooleanalgebras AT lisoviklp obaksiomatizaciâhbulevyhalgebr AT lisoviklp obaksiomatizaciâhbulevyhalgebr AT lisoviklp obaksiomatizaciâhbulevyhalgebr |