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: Тимошкин, А.И.
Veröffentlicht: (2019)

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

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

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

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

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

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

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

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

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

О представлениях некоторых коммутативных ядерных *-алгебр
von: Яковлев, В.С.
Veröffentlicht: (1987)

О представлениях некоторых *-алгебр гладких функций
von: Яковлев, В.С.
Veröffentlicht: (1987)

Зображувальний тип нодальних алгебр типу D
von: Дрозд, Ю.А., et al.
Veröffentlicht: (2014)

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

О сумме двух алгебр Ли с конечномерными коммутантами
von: Петравчук, А.П.
Veröffentlicht: (1995)

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

Абстрактна характеристика класу унітарних позиційних алгебр операцій
von: Сохацький, Ф.М.
Veröffentlicht: (2002)

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

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

Усовершенствованный тест k-мерности для булевых функций
von: Алексейчук, А.Н., et al.
Veröffentlicht: (2013)

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

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

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

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

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

Сходимость, порожденная аналитическими функционалами, и изоморфизм алгебр аналитических функций
von: Петунин, Ю.И., et al.
Veröffentlicht: (1988)

Парное уравнение свертки с ядрами из различных банаховых алгебр
von: Полетаев, Г.С.
Veröffentlicht: (1991)

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

Оценки числовых параметров в ДНФ случайных частичных булевых функций
von: Махина, Г.А.
Veröffentlicht: (2009)

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

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

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

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