The closure operator in a multivalued logic based on functional equations |
| |
Authors: | S. S. Marchenkov |
| |
Affiliation: | 1.Lomonosov Moscow State University,Leninskie gory, Moscow,Russia |
| |
Abstract: | An operator of FE-closure is introduced on the set of functions of a multivalued logic based on the systems of functional equations. It is proved that, for every k ≥ 2, the FE-closure operator generates a finite classification on the set P k of functions of k-valued logic. The least class in this classification is shown to be the class H k of all homogeneous functions. Also a series of corollaries are obtained concerning the finite FE-generating sets in the FE-closed classes. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|