$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.