Abstract:
A classical theorem of Post [1] describes five precomplete classes in the set of Boolean functions. In [2], it was shown that there exist 1818 precomplete classes of functions of three-valued logic. In [1], [2], the closure of sets of functions with respect to the substitution operator was studied. We consider two closure operators on functions of three-valued logic, which are obtained by supplementing the substitution operator by closures with respect to two identifications of function values, and prove the existence of three precomplete classes for one of these operators and five precomplete classes for the other.
Keywords:
functions of three-valued logic, precomplete class of functions, closure operators, transitive closure, substitution operator.
Citation:
A. A. Esin, “On Function Classes in P3P3 Precomplete with Respect to a Strengthened Closure Operator”, Mat. Zametki, 83:5 (2008), 650–660; Math. Notes, 83:5 (2008), 594–603