Об аксиоматизациях булевых алгебр
Побудовано деякі нові системи аксіом для булевої алгебри. Зокрема, аксіоматична система для диз'юнкції та логічного заперечення має три аксіоми. Для запропонованих аксіоматичних систем доведено їх незалежність. We construct some new axiomatic systems for the Boolean algebra. In particular, an a...
Saved in:
| Published in: | Український математичний журнал |
|---|---|
| Date: | 1997 |
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут математики НАН України
1997
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/157097 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Об аксиоматизациях булевых алгебр / Л.П. Лисовик // Український математичний журнал. — 1997. — Т. 49, № 7. — С. 937–942. — Бібліогр.: 6 назв. — рос. |