2019
Том 71
№ 11

Всі номери

Лисовик Л. П.

Публікацій: 2
Стаття (російською)

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

Лисовик Л. П.

↓ Абстракт   |   Повний текст (.pdf)

Укр. мат. журн. - 1997. - 49, № 7. - С. 937–942

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

Стаття (українською)

О квазитождествах в свободной полугруппе

Лисовик Л. П.

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

Укр. мат. журн. - 1981. - 33, № 3. - С. 410–415