|
Дискретный анализ и исследование операций, сер. 1, 1999, том 6, выпуск 1, страницы 19–43
(Mi da308)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
$A$-Классификация идемпотентных функций многозначной логики
С. С. Марченков Институт прикладной математики им. М. В. Келдыша РАН
Аннотация:
Для любого $k$, $k\geqslant 4$, на множестве $P_k$ функций $k$-значной логики определяется оператор $A$-замыкания, состоящий из операций суперпозиции и перехода
к двойственным функциям для подстановок из знакопеременной группы. $A$-замкнутые классы образуют $A$-классификацию функций многозначной логики. Класс $I_k$ идемпотентных функций при $k\geqslant 5$ является одним из двух, а при $k=4$ – одним из четырех $A$-предполных классов в $P_k$. На множестве $E_k$ определяется 12 типов стандартных отношений, которые называются основными. Доказывается, что любой $A$-замкнутый класс функций из $I_k$ можно задать как класс всех функций из $P_k$, которые сохраняют подходящий набор основных отношений. Тем самым определяется конечная эффективная $A$-классификация множества $I_k$. Ил. 2, библиогр. 29.
Статья поступила: 27.10.1998
Образец цитирования:
С. С. Марченков, “$A$-Классификация идемпотентных функций многозначной логики”, Дискретн. анализ и исслед. опер., сер. 1, 6:1 (1999), 19–43
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/da308 https://www.mathnet.ru/rus/da/v6/s1/i1/p19
|
Статистика просмотров: |
Страница аннотации: | 241 | PDF полного текста: | 66 |
|