On function classes in P 3 precomplete with respect to a strengthened closure operator |
| |
Authors: | A. A. Esin |
| |
Affiliation: | 1. Steklov Mathematical Institute, Russian Academy of Sciences, Steklov, Russia
|
| |
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: | |
本文献已被 SpringerLink 等数据库收录! |
|