Об аксиоматизациях булевых алгебр
Побудовано деякі нові системи аксіом для булевої алгебри. Зокрема, аксіоматична система для диз'юнкції та логічного заперечення має три аксіоми. Для запропонованих аксіоматичних систем доведено їх незалежність. We construct some new axiomatic systems for the Boolean algebra. In particular, an a...
Збережено в:
| Опубліковано в: : | Український математичний журнал |
|---|---|
| Дата: | 1997 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут математики НАН України
1997
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.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| _version_ | 1862711129505005568 |
|---|---|
| author | Лисовик, Л.П. |
| author_facet | Лисовик, Л.П. |
| citation_txt | Об аксиоматизациях булевых алгебр / Л.П. Лисовик // Український математичний журнал. — 1997. — Т. 49, № 7. — С. 937–942. — Бібліогр.: 6 назв. — рос. |
| collection | DSpace DC |
| container_title | Український математичний журнал |
| description | Побудовано деякі нові системи аксіом для булевої алгебри. Зокрема, аксіоматична система для диз'юнкції та логічного заперечення має три аксіоми. Для запропонованих аксіоматичних систем доведено їх незалежність.
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.
|
| first_indexed | 2025-12-07T17:29:34Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-157097 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1027-3190 |
| language | Russian |
| last_indexed | 2025-12-07T17:29:34Z |
| publishDate | 1997 |
| publisher | Інститут математики НАН України |
| record_format | dspace |
| spelling | Лисовик, Л.П. 2019-06-19T14:05:42Z 2019-06-19T14:05:42Z 1997 Об аксиоматизациях булевых алгебр / Л.П. Лисовик // Український математичний журнал. — 1997. — Т. 49, № 7. — С. 937–942. — Бібліогр.: 6 назв. — рос. 1027-3190 https://nasplib.isofts.kiev.ua/handle/123456789/157097 517.9 Побудовано деякі нові системи аксіом для булевої алгебри. Зокрема, аксіоматична система для диз'юнкції та логічного заперечення має три аксіоми. Для запропонованих аксіоматичних систем доведено їх незалежність. 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. ru Інститут математики НАН України Український математичний журнал Статті Об аксиоматизациях булевых алгебр On axiomatizations of Boolean algebras Article published earlier |
| spellingShingle | Об аксиоматизациях булевых алгебр Лисовик, Л.П. Статті |
| title | Об аксиоматизациях булевых алгебр |
| title_alt | On axiomatizations of Boolean algebras |
| title_full | Об аксиоматизациях булевых алгебр |
| title_fullStr | Об аксиоматизациях булевых алгебр |
| title_full_unstemmed | Об аксиоматизациях булевых алгебр |
| title_short | Об аксиоматизациях булевых алгебр |
| title_sort | об аксиоматизациях булевых алгебр |
| topic | Статті |
| topic_facet | Статті |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/157097 |
| work_keys_str_mv | AT lisoviklp obaksiomatizaciâhbulevyhalgebr AT lisoviklp onaxiomatizationsofbooleanalgebras |