This article is cited in 3 papers

On Function Classes in $P_3$ Precomplete with Respect to a Strengthened Closure Operator

A. A. Esin

Steklov Mathematical Institute, Russian Academy of Sciences

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 $18$ 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.

UDC: 510.644

Received: 18.05.2006

DOI: 10.4213/mzm4714

 English version: Mathematical Notes, 2008, 83:5, 594–603

Bibliographic databases:

• 
• 
• 
•