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

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

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

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

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

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

Об одном алгоритме построения сокращенных ДНФ порядково-выпуклых булевых функцій
за авторством: Тимошкин, А.И.
Опубліковано: (2019)

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

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

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

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

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

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

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

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

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

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

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

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

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

Зображувальний тип нодальних алгебр типу D
за авторством: Дрозд, Ю.А., та інші
Опубліковано: (2014)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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