The S-classification of functions of many-valued logic
Sergey Seraphimovich Marchenkov · Discrete Mathematics and Applications · 1997
On the set of functions of many-valued logic, we consider the closure operator defined on the basis of systems of functional equations (the operator of FE closure). This operator generates an FE classification of the functions of many-valued logic, whose kernel consists of classes of SG-type defined by groups of permutations of G. A number of results are obtained to guarantee FE precompleteness of classes of only this type in the classes of SG type. The results obtained are illustrated by examples of functions of 2-, 3-, and 4-valued logics.