Об аксиоматизациях булевых алгебр
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Об аксиоматизациях булевых алгебр
|
|
| Creator |
Лисовик, Л.П.
|
|
| Subject |
Статті
|
|
| 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. |
|
| Date |
2019-06-19T14:05:42Z
2019-06-19T14:05:42Z 1997 |
|
| Type |
Article
|
|
| Identifier |
Об аксиоматизациях булевых алгебр / Л.П. Лисовик // Український математичний журнал. — 1997. — Т. 49, № 7. — С. 937–942. — Бібліогр.: 6 назв. — рос.
1027-3190 http://dspace.nbuv.gov.ua/handle/123456789/157097 517.9 |
|
| Language |
ru
|
|
| Relation |
Український математичний журнал
|
|
| Publisher |
Інститут математики НАН України
|
|