Об аксиоматизациях булевых алгебр
Побудовано деякі нові системи аксіом для булевої алгебри. Зокрема, аксіоматична система для диз'юнкції та логічного заперечення має три аксіоми. Для запропонованих аксіоматичних систем доведено їх незалежність....
Збережено в:
Дата: | 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Схожі ресурси
-
Ряди Пуанкаре мультиградуйованих алгебр SL₂-інваріантів
за авторством: Бедратюк, Л.П.
Опубліковано: (2011) -
Идентификация булевых функций методами линейной алгебры
за авторством: Скобелев, В.Г., та інші
Опубліковано: (1995) -
Будова нодальних алгебр
за авторством: Волошин, Д.Є.
Опубліковано: (2011) -
Топологически свободные подмножества алгебр
за авторством: Зеленюк, Е.Г.
Опубліковано: (1997) -
Характеризация остаточных σ-алгебр
за авторством: Шор, А.А., та інші
Опубліковано: (1992)