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

Скорочена інформація про документ
dc.contributor.authorЛисовик, Л.П.
dc.date.accessioned2019-06-19T14:05:42Z
dc.date.available2019-06-19T14:05:42Z
dc.date.issued1997
dc.description.abstractПобудовано деякі нові системи аксіом для булевої алгебри. Зокрема, аксіоматична система для диз'юнкції та логічного заперечення має три аксіоми. Для запропонованих аксіоматичних систем доведено їх незалежність.uk_UA
dc.description.abstractWe 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.uk_UA
dc.identifier.citationОб аксиоматизациях булевых алгебр / Л.П. Лисовик // Український математичний журнал. — 1997. — Т. 49, № 7. — С. 937–942. — Бібліогр.: 6 назв. — рос.uk_UA
dc.identifier.issn1027-3190
dc.identifier.udc517.9
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/157097
dc.language.isoruuk_UA
dc.publisherІнститут математики НАН Україниuk_UA
dc.relation.ispartofУкраїнський математичний журнал
dc.statuspublished earlieruk_UA
dc.subjectСтаттіuk_UA
dc.titleОб аксиоматизациях булевых алгебрuk_UA
dc.title.alternativeOn axiomatizations of Boolean algebras
dc.typeArticleuk_UA

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
102-Lisovik.pdf
Розмір:
1.71 MB
Формат:
Adobe Portable Document Format
Завантажити

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
817 B
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекція

Український математичний журнал, 1997, № 07