Об аксиоматизациях булевых алгебр
Побудовано деякі нові системи аксіом для булевої алгебри. Зокрема, аксіоматична система для диз'юнкції та логічного заперечення має три аксіоми. Для запропонованих аксіоматичних систем доведено їх незалежність....
Saved in:
| Date: | 1997 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут математики НАН України
1997
|
| Series: | Український математичний журнал |
| Subjects: | |
| Online Access: | http://dspace.nbuv.gov.ua/handle/123456789/157097 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Об аксиоматизациях булевых алгебр / Л.П. Лисовик // Український математичний журнал. — 1997. — Т. 49, № 7. — С. 937–942. — Бібліогр.: 6 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-157097 |
|---|---|
| record_format |
dspace |
| fulltext |
0057
0058
0059
0060
0061
0062
|
| spelling |
irk-123456789-1570972019-06-30T18:10:52Z Об аксиоматизациях булевых алгебр Лисовик, Л.П. Статті Побудовано деякі нові системи аксіом для булевої алгебри. Зокрема, аксіоматична система для диз'юнкції та логічного заперечення має три аксіоми. Для запропонованих аксіоматичних систем доведено їх незалежність. 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. 1997 Article Об аксиоматизациях булевых алгебр / Л.П. Лисовик // Український математичний журнал. — 1997. — Т. 49, № 7. — С. 937–942. — Бібліогр.: 6 назв. — рос. 1027-3190 http://dspace.nbuv.gov.ua/handle/123456789/157097 517.9 ru Український математичний журнал Інститут математики НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Статті Статті |
| spellingShingle |
Статті Статті Лисовик, Л.П. Об аксиоматизациях булевых алгебр Український математичний журнал |
| description |
Побудовано деякі нові системи аксіом для булевої алгебри. Зокрема, аксіоматична система для диз'юнкції та логічного заперечення має три аксіоми. Для запропонованих аксіоматичних систем доведено їх незалежність. |
| format |
Article |
| author |
Лисовик, Л.П. |
| author_facet |
Лисовик, Л.П. |
| author_sort |
Лисовик, Л.П. |
| title |
Об аксиоматизациях булевых алгебр |
| title_short |
Об аксиоматизациях булевых алгебр |
| title_full |
Об аксиоматизациях булевых алгебр |
| title_fullStr |
Об аксиоматизациях булевых алгебр |
| title_full_unstemmed |
Об аксиоматизациях булевых алгебр |
| title_sort |
об аксиоматизациях булевых алгебр |
| publisher |
Інститут математики НАН України |
| publishDate |
1997 |
| topic_facet |
Статті |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/157097 |
| citation_txt |
Об аксиоматизациях булевых алгебр / Л.П. Лисовик // Український математичний журнал. — 1997. — Т. 49, № 7. — С. 937–942. — Бібліогр.: 6 назв. — рос. |
| series |
Український математичний журнал |
| work_keys_str_mv |
AT lisoviklp obaksiomatizaciâhbulevyhalgebr |
| first_indexed |
2025-07-14T09:25:26Z |
| last_indexed |
2025-07-14T09:25:26Z |
| _version_ |
1837613844055195648 |