Об аксиоматизациях булевых алгебр

• Veröffentlicht in: Український математичний журнал
• Datum: 1997
• 1. Verfasser: Лисовик, Л.П.
• Format: Artikel
• Sprache: Russian
• Veröffentlicht: Інститут математики НАН України 1997
• Schlagworte: Статті
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/157097
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Об аксиоматизациях булевых алгебр / Л.П. Лисовик // Український математичний журнал. — 1997. — Т. 49, № 7. — С. 937–942. — Бібліогр.: 6 назв. — рос.

Побудовано деякі нові системи аксіом для булевої алгебри. Зокрема, аксіоматична система для диз'юнкції та логічного заперечення має три аксіоми. Для запропонованих аксіоматичних систем доведено їх незалежність. We construct some new axiomatic systems for the Boolean algebra. In particular, an a...