2017
Том 69
№ 6

Всі номери

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

Лисовик Л. П.

Повний текст (.pdf)


Абстракт

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

Англомовна версія (Springer): Ukrainian Mathematical Journal 49 (1997), no. 7, pp 1051-1057.

Зразок цитування: Лисовик Л. П. Об аксиоматизациях булевых алгебр // Укр. мат. журн. - 1997. - 49, № 7. - С. 937–942.

Повний текст