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

Домашня сторінка
→
Фізико-технічні та математичні науки
→
Відділення математики
→
Український математичний журнал
→
Український математичний журнал, 1997, том 49
→
Український математичний журнал, 1997, № 07
→
Переглянути статтю

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

Лисовик, Л.П.

Інші назви: On axiomatizations of Boolean algebras

Тема: Статті

УДК: 517.9

URI: http://dspace.nbuv.gov.ua/handle/123456789/157097

Посилання: Об аксиоматизациях булевых алгебр / Л.П. Лисовик // Український математичний журнал. — 1997. — Т. 49, № 7. — С. 937–942. — Бібліогр.: 6 назв. — рос.

Дата: 1997

Завантажень: 224

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

Анотація:

Побудовано деякі нові системи аксіом для булевої алгебри. Зокрема, аксіоматична система для диз'юнкції та логічного заперечення має три аксіоми. Для запропонованих аксіоматичних систем доведено їх незалежність.

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.

Показати повний запис статті