Article collection "Mathematical Problems of Cybernetics" №18, Moscow, 2013

Authors:Marchenkov S.S.

E-closed operator in the set of partial many-valued logic functions

Abstract:

On the set of partial many-valued logic functions, the E-closure operator is considered. For every k>2 all E-precomplete classes in k-valued logic are found. It is proved that every E-closed class of partial k-valued logic functions is generated by own k-variable functions. The E-completeness criterion in the class of partial three-valued logic functions is established.