Об аксиоматизациях булевых алгебр
Побудовано деякі нові системи аксіом для булевої алгебри. Зокрема, аксіоматична система для диз'юнкції та логічного заперечення має три аксіоми. Для запропонованих аксіоматичних систем доведено їх незалежність....
Збережено в:
| Дата: | 1997 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут математики НАН України
1997
|
| Назва видання: | Український математичний журнал |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/157097 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Об аксиоматизациях булевых алгебр / Л.П. Лисовик // Український математичний журнал. — 1997. — Т. 49, № 7. — С. 937–942. — Бібліогр.: 6 назв. — рос. |
Репозитарії
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 |