RUS  ENG
Полная версия
ЖУРНАЛЫ // Дискретный анализ и исследование операций // Архив

Дискретн. анализ и исслед. опер., сер. 1, 1998, том 5, выпуск 1, страницы 32–59 (Mi da345)

Эта публикация цитируется в 1 статье

$A$-Замкнутые классы идемпотентных функций многозначной логики, определяемые двуместными отношениями

С. С. Марченков

Институт прикладной математики им. М. В. Келдыша РАН

Аннотация: На множестве $P_k$ функций $k$-значной логики рассматривается операция $A$-замыкания, состоящая из операций суперпозиции и перехода к двойственным функциям относительно подстановок из знакопеременной группы. Множество всех идемпотентных функций из $P_k$ образует $A$-замкнутый класс, который при $k\geqslant 5$ является одним из двух $A$-предполных классов в $P_k$. Определяется 12 типов стандартных отношений, называемых основными, и доказывается, что всякий $A$-замкнутый класс идемпотентных функций, который можно задать произвольными двуместными отношениями, можно определить также подходящим набором основных отношений. Это позволяет охарактеризовать аналогичным образом все $A$-замкнутые классы идемпотентных функций и произвести подсчет таких классов. Ил. 10, библиогр. 14.

УДК: 519.716

Статья поступила: 17.11.1997



Реферативные базы данных:


© МИАН, 2024