|
This article is cited in 3 scientific papers (total 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.
Received: 18.05.2006
Citation:
A. A. Esin, “On Function Classes in $P_3$ Precomplete with Respect to a Strengthened Closure Operator”, Mat. Zametki, 83:5 (2008), 650–660; Math. Notes, 83:5 (2008), 594–603
Linking options:
https://www.mathnet.ru/eng/mzm4714https://doi.org/10.4213/mzm4714 https://www.mathnet.ru/eng/mzm/v83/i5/p650
|
|