Buchumschlag

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

Побудовано деякі нові системи аксіом для булевої алгебри. Зокрема, аксіоматична система для диз'юнкції та логічного заперечення має три аксіоми. Для запропонованих аксіоматичних систем доведено їх незалежність. We construct some new axiomatic systems for the Boolean algebra. In particular, an a...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Український математичний журнал
Datum:	1997
1. Verfasser:	Лисовик, Л.П.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут математики НАН України 1997
Schlagworte:	Статті
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/157097
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Об аксиоматизациях булевых алгебр / Л.П. Лисовик // Український математичний журнал. — 1997. — Т. 49, № 7. — С. 937–942. — Бібліогр.: 6 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

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

Идентификация булевых функций методами линейной алгебры
von: Скобелев, В.Г., et al.
Veröffentlicht: (1995)

Будова нодальних алгебр
von: Волошин, Д.Є.
Veröffentlicht: (2011)

Топологически свободные подмножества алгебр
von: Зеленюк, Е.Г.
Veröffentlicht: (1997)

Характеризация остаточных σ-алгебр
von: Шор, А.А., et al.
Veröffentlicht: (1992)

Формации алгебр с дополняемыми подформациями
von: Скиба, А.Н., et al.
Veröffentlicht: (1991)

Об уточнении лагранжевых двойственных оценок в бинарных и булевых квадратичных задачах
von: Стецюк, П.И., et al.
Veröffentlicht: (2006)

Представления *-алгебр и многомерные динамические системы
von: Островский, В.Л., et al.
Veröffentlicht: (1995)

Алгебраически вырожденные приближения булевых функций
von: Алексейчук, А.Н., et al.
Veröffentlicht: (2014)

К теории рестриктивных алгебр Менгера
von: Трохименко, В.С.
Veröffentlicht: (1984)

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

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

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

Об индексах простых компонент скрещенных групповых алгебр конечных групп и поля P-адических чисел
von: Баранник, В.Ф., et al.
Veröffentlicht: (1991)

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

О представлениях алгебр Ли ступенчатых матриц
von: Ли Сун Ген
Veröffentlicht: (1987)

Об инвариантности ключей относительно операций табличных алгебр
von: Редько, В.Н., et al.
Veröffentlicht: (2015)

Об одном методе задания фрактальных множеств
von: Лисовик, Л.П., et al.
Veröffentlicht: (2009)

Экономичный метод приближенной минимизации ДНФ булевых функций
von: Лузин, С.Ю., et al.
Veröffentlicht: (2004)

Особенности реализации систем булевых функций на ПЛИС
von: Баркалов, А.А., et al.
Veröffentlicht: (2004)

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

Некоторые вопросы вложения фактор-пространств и банаховых алгебр
von: Петунин, Ю.И., et al.
Veröffentlicht: (1985)

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

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

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

К теории программных алгебр
von: Буй, Д.Б., et al.
Veröffentlicht: (1984)

Будова скінченновимірних нодальних алгебр
von: Зембик, В.В.
Veröffentlicht: (2014)

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

Алгоритм построения диаграммы двоичного выбора для системы полностью определенных булевых функций
von: Бибило, П.Н., et al.
Veröffentlicht: (2009)

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

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

Теорема о расщепляемости $J$-алгебр
von: Ашкинузе, В. Г., et al.
Veröffentlicht: (1951)

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

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

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

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

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

О некотором классе матричных топологических *-алгебр
von: Тищенко, С.В.
Veröffentlicht: (2001)

О построении клонов алгебр функциональных n-отношенеий
von: Захария, Л.М., et al.
Veröffentlicht: (2006)

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