FE classification of functions of many-valued logic |
| |
Authors: | S. S. Marchenkov |
| |
Affiliation: | 1.Faculty of Computational Mathematics and Cybernetics,Moscow State University,Moscow,Russia |
| |
Abstract: | 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 S G -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 S G type. The results obtained are illustrated by examples of functions of 2-, 3-, and 4-valued logics. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|