Cover Image

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

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

Full description

Saved in:
Bibliographic Details
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 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Similar Items

Similar Items