Наукова електронна бібліотека
періодичних видань НАН України
періодичних видань НАН України
Об аксиоматизациях булевых алгебр
Репозиторій DSpace/Manakin
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Лисовик, Л.П. | |
| dc.date.accessioned | 2019-06-19T14:05:42Z | |
| dc.date.available | 2019-06-19T14:05:42Z | |
| dc.date.issued | 1997 | |
| dc.identifier.citation | Об аксиоматизациях булевых алгебр / Л.П. Лисовик // Український математичний журнал. — 1997. — Т. 49, № 7. — С. 937–942. — Бібліогр.: 6 назв. — рос. | uk_UA |
| dc.identifier.issn | 1027-3190 | |
| dc.identifier.uri | http://dspace.nbuv.gov.ua/handle/123456789/157097 | |
| dc.description.abstract | Побудовано деякі нові системи аксіом для булевої алгебри. Зокрема, аксіоматична система для диз'юнкції та логічного заперечення має три аксіоми. Для запропонованих аксіоматичних систем доведено їх незалежність. | uk_UA |
| dc.description.abstract | 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. | uk_UA |
| dc.language.iso | ru | uk_UA |
| dc.publisher | Інститут математики НАН України | uk_UA |
| dc.relation.ispartof | Український математичний журнал | |
| dc.subject | Статті | uk_UA |
| dc.title | Об аксиоматизациях булевых алгебр | uk_UA |
| dc.title.alternative | On axiomatizations of Boolean algebras | |
| dc.type | Article | uk_UA |
| dc.status | published earlier | uk_UA |
| dc.identifier.udc | 517.9 |
