Зображення обкладинки

Об аксиоматизациях булевых алгебр

Побудовано деякі нові системи аксіом для булевої алгебри. Зокрема, аксіоматична система для диз'юнкції та логічного заперечення має три аксіоми. Для запропонованих аксіоматичних систем доведено їх незалежність. 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

Схожі ресурси

Ряди Пуанкаре мультиградуйованих алгебр SL₂-інваріантів
за авторством: Бедратюк, Л.П.
Опубліковано: (2011)

Идентификация булевых функций методами линейной алгебры
за авторством: Скобелев, В.Г., та інші
Опубліковано: (1995)

Будова нодальних алгебр
за авторством: Волошин, Д.Є.
Опубліковано: (2011)

Топологически свободные подмножества алгебр
за авторством: Зеленюк, Е.Г.
Опубліковано: (1997)

Характеризация остаточных σ-алгебр
за авторством: Шор, А.А., та інші
Опубліковано: (1992)

Формации алгебр с дополняемыми подформациями
за авторством: Скиба, А.Н., та інші
Опубліковано: (1991)

Об уточнении лагранжевых двойственных оценок в бинарных и булевых квадратичных задачах
за авторством: Стецюк, П.И., та інші
Опубліковано: (2006)

Представления *-алгебр и многомерные динамические системы
за авторством: Островский, В.Л., та інші
Опубліковано: (1995)

Алгебраически вырожденные приближения булевых функций
за авторством: Алексейчук, А.Н., та інші
Опубліковано: (2014)

К теории рестриктивных алгебр Менгера
за авторством: Трохименко, В.С.
Опубліковано: (1984)

О связи состояний фоннеймановских алгебр
за авторством: Кравчук, Н.В.
Опубліковано: (1988)

О самосопряженных представлениях алгебр Склянина
за авторством: Беспалов, Ю.Н.
Опубліковано: (1991)

Минимизация КНФ частично-монотонных булевых функций
за авторством: Пынько, А.П.
Опубліковано: (2017)

Об индексах простых компонент скрещенных групповых алгебр конечных групп и поля P-адических чисел
за авторством: Баранник, В.Ф., та інші
Опубліковано: (1991)

О преобразовании Гельфанда локально выпуклых алгебр
за авторством: Лопушансий, О.В.
Опубліковано: (1985)

О представлениях алгебр Ли ступенчатых матриц
за авторством: Ли Сун Ген
Опубліковано: (1987)

Об инвариантности ключей относительно операций табличных алгебр
за авторством: Редько, В.Н., та інші
Опубліковано: (2015)

Об одном методе задания фрактальных множеств
за авторством: Лисовик, Л.П., та інші
Опубліковано: (2009)

Экономичный метод приближенной минимизации ДНФ булевых функций
за авторством: Лузин, С.Ю., та інші
Опубліковано: (2004)

Особенности реализации систем булевых функций на ПЛИС
за авторством: Баркалов, А.А., та інші
Опубліковано: (2004)

О гомоморфизмах алгебр, порожденных проекторами, и функторах Кокстера
за авторством: Попович, С.В., та інші
Опубліковано: (2003)

Некоторые вопросы вложения фактор-пространств и банаховых алгебр
за авторством: Петунин, Ю.И., та інші
Опубліковано: (1985)

О дискретности структурного пространства слабо вполне непрерывных банаховых алгебр
за авторством: Мустафаев, Г.С.
Опубліковано: (2004)

Дикие задачи теории представлений *-алгебр, порожденных образующими и соотношениями
за авторством: Пирятинская, А.Ю., та інші
Опубліковано: (1995)

Про *-зображення одного класу алгебр, пов'язаних із графами Кокстера
за авторством: Попова., Н.Д, та інші
Опубліковано: (2008)

К теории программных алгебр
за авторством: Буй, Д.Б., та інші
Опубліковано: (1984)

Будова скінченновимірних нодальних алгебр
за авторством: Зембик, В.В.
Опубліковано: (2014)

Конструювання алгебр логарифмічного типу
за авторством: Воробель, Р.А.
Опубліковано: (2010)

Алгоритм построения диаграммы двоичного выбора для системы полностью определенных булевых функций
за авторством: Бибило, П.Н., та інші
Опубліковано: (2009)

Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений
за авторством: Авлочинская, Т.В., та інші
Опубліковано: (2012)

Мультиплікативні аналітичні відображення банахових алгебр
за авторством: Лабачук, О. В.
Опубліковано: (2014)

Теорема о расщепляемости $J$-алгебр
за авторством: Ашкинузе, В. Г., та інші
Опубліковано: (1951)

Групова класифікація квазілінійних рівнянь еліптичного типу II. Інваріантність відносно розв'язних алгебр Лі
за авторством: Лагно, В.І., та інші
Опубліковано: (2011)

Зображення алгебр, заданих мультиплікативним співвідношенням, що відповідають розширеним графам Динкіна Ď₄,Ě₆,Ě₇,Ě₈
за авторством: Лівінський, І.В., та інші
Опубліковано: (2012)

Регулярні ортоскалярпі зображення розширених графів Динкіна Ẽ₆ і Ẽ₇ та *-алгебр, асоційованих з ними
за авторством: Лівінський, І.В.
Опубліковано: (2010)

Разделение полного множества значений булевых функций на основе заданного порога и порогового отношения
за авторством: Опанасенко, В.Н., та інші
Опубліковано: (2012)

Класифікація лінійних зображень алгебр Галілея, Пуанкаре та конформної у випадку двовимірного векторного поля та їх застосування
за авторством: Блажко, Л.М., та інші
Опубліковано: (2006)

О некотором классе матричных топологических *-алгебр
за авторством: Тищенко, С.В.
Опубліковано: (2001)

О построении клонов алгебр функциональных n-отношенеий
за авторством: Захария, Л.М., та інші
Опубліковано: (2006)

Групова класифікація квазілінійних рівнянь еліптичного типу. I. Інваріантність відносно алгебр Лі з нетривіальним розкладом Леві
за авторством: Лагно, В.І., та інші
Опубліковано: (2007)