This article is cited in 10 papers

The closure operator in many-valued logic based on functional equations

S. S. Marchenkov

Lomonosov Moscow State University, Moscow, Russia

Abstract: On the set of many-valued logic functions the FE-closure operator based on functional equations is introduced. It is proved that the FE-closure 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 FE-generating sets in FE-closed classes are deduced. Bibliogr. 24.

Keywords: many-valued logic function, functional equation, FE-closure operator.

UDC: 519.716

Received: 04.02.2010

 English version: Journal of Applied and Industrial Mathematics, 2011, 5:3, 383–390

Bibliographic databases:

• 
• 
•