Geodesic
On Function Classes in $P_3$ Precomplete with Respect to a Strengthened Closure Operator
Matematičeskie zametki, Tome 83 (2008) no. 5, pp. 650-660.

Voir la notice de l'article provenant de la source Math-Net.Ru

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. 
@article{MZM_2008_83_5_a1,
     author = {A. A. Esin},
     title = {On {Function} {Classes} in $P_3$ {Precomplete} with {Respect} to a {Strengthened} {Closure} {Operator}},
     journal = {Matemati\v{c}eskie zametki},
     pages = {650--660},
     publisher = {mathdoc},
     volume = {83},
     number = {5},
     year = {2008},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MZM_2008_83_5_a1/}
}
TY  - JOUR
AU  - A. A. Esin
TI  - On Function Classes in $P_3$ Precomplete with Respect to a Strengthened Closure Operator
JO  - Matematičeskie zametki
PY  - 2008
SP  - 650
EP  - 660
VL  - 83
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_2008_83_5_a1/
LA  - ru
ID  - MZM_2008_83_5_a1
ER  - 
%0 Journal Article
%A A. A. Esin
%T On Function Classes in $P_3$ Precomplete with Respect to a Strengthened Closure Operator
%J Matematičeskie zametki
%D 2008
%P 650-660
%V 83
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_2008_83_5_a1/
%G ru
%F MZM_2008_83_5_a1
A. A. Esin. On Function Classes in $P_3$ Precomplete with Respect to a Strengthened Closure Operator. Matematičeskie zametki, Tome 83 (2008) no. 5, pp. 650-660. http://geodesic.mathdoc.fr/item/MZM_2008_83_5_a1/

[1] E. L. Post, Two-valued Iterative Systems of Mathematical Logic, Ann. of Math. Stud., 5, Princetin Univ. Press, Princeton, NJ, 1941 | MR | Zbl

[2] S. V. Yablonskii, “Funktsionalnye postroeniya v $k$-znachnoi logike”, Sbornik statei po matematicheskoi logike i ee prilozheniyam k nekotorym voprosam kibernetiki, Tr. MIAN, 51, Izd-vo AN SSSR, M., 1958, 5–142 | Zbl

[3] C. C. Marchenkov, $S$-klassifikatsiya funktsii trekhznachnoi logiki, Fizmatlit, M., 2001 | MR | Zbl

[4] J. Slupecki, “Kryterium petnosci wielowartoskiowych systemow logiki zdan”, C. R. Soc. Sci. Lett. Varsovie, 32 (1939), 102–110

[5] S. V. Yablonskii, G. P. Gavrilov, V. B. Kudryavtsev, Funktsii algebry logiki i klassy Posta, Nauka, M., 1966 | MR | Zbl