A-classification of idempotent functions of many-valued logic (Q4947377)

The article under review is a further study on the classification of functions of a many-valued logic. A detailed survey on the subject under consideration is presented in the introduction. The author studies classes of functions of the \(k\)-valued logic \(P_k\) which are closed under the substitution operator and the operation of passage to the dual function for permutations in the alternating group. It is known [see \textit{S.~S.~Marchenkov}, Diskretn. Anal. Issled. Oper. 3, No. 3, 47-70 (1996; Zbl 0921.03027)] that the class \(I_k\) of idempotent functions is one of two (for \(k\geq 5\)) and one of four (for \(k=4\)) \(A\)-precomplete classes in \(P_k\). The author defines 12 main types of relations on the set \(S_k=\{1, \ldots, k\}\) such that every \(A\)-closed class can be defined by a suitable choice of a subset of the main relations. A similar result was previously obtained for an \(A\)-closed class determined by binary relations [see \textit{S.~S.~Marchenkov}, Diskretn. Anal. Issled. Oper., Ser. 1 5, No. 1, 32-59 (1998; Zbl 0914.03026)].