Volume 17, No 4, 2010, P. 1831
UDC 519.716
S. S. Marchenkov
The closure operator in manyvalued logic based on functional equations
Abstract:
On the set of manyvalued logic functions the FEclosure operator based on functional equations is introduced. It is proved that the FEclosure operator generates a finite classification on the set $P_k$ of $k$valued logic functions for every $k\ge2$. It is established that the least class in this classification is the class $H_k$ of homogeneous functions. A series of corollaries about finite FEgenerating sets in FEclosed classes are deduced.
Bibliogr. 24.
Keywords: manyvalued logic function, functional equation, FEclosure operator.
Marchenkov Sergei Seraphimovich ^{1}
1. Lomonosov Moscow State University,
Leninskie gory, 119991 Moscow, Russia
email: mathcyb@cs.msu.su
