Geodesic
A variant of the proof of a completeness criterion for functions of $k$-valued logic
Diskretnaya Matematika, Tome 8 (1996) no. 4, pp. 11-36.

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

We suggest a new version of the proof of completeness criterion in terms of precomplete classes of $k$-valued logic functions. As before, the basis of the proof is the idea of preserving relations (predicates) by these functions, which was suggested by Post and developed by Yablonskii, Kuznetsov, Rosenberg, Lo Chu Kai, Kudryavtsev, Zakharova, etc. The essence of our reasoning consists in a rather different approach to the process of finding relations such that the classes preserving them coincide with precomplete ones. This approach arose while studying the $r$-completeness problem in the class of determinate functions. It allows us to shorten the well-known proof due to Rosenberg.The work was supported by the Russian Foundation for Basic Research, grant 93–01–00382. 
@article{DM_1996_8_4_a1,
     author = {V. A. Buevich},
     title = {A variant of the proof of a completeness criterion for functions of $k$-valued logic},
     journal = {Diskretnaya Matematika},
     pages = {11--36},
     publisher = {mathdoc},
     volume = {8},
     number = {4},
     year = {1996},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/DM_1996_8_4_a1/}
}
TY  - JOUR
AU  - V. A. Buevich
TI  - A variant of the proof of a completeness criterion for functions of $k$-valued logic
JO  - Diskretnaya Matematika
PY  - 1996
SP  - 11
EP  - 36
VL  - 8
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DM_1996_8_4_a1/
LA  - ru
ID  - DM_1996_8_4_a1
ER  - 
%0 Journal Article
%A V. A. Buevich
%T A variant of the proof of a completeness criterion for functions of $k$-valued logic
%J Diskretnaya Matematika
%D 1996
%P 11-36
%V 8
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DM_1996_8_4_a1/
%G ru
%F DM_1996_8_4_a1
V. A. Buevich. A variant of the proof of a completeness criterion for functions of $k$-valued logic. Diskretnaya Matematika, Tome 8 (1996) no. 4, pp. 11-36. http://geodesic.mathdoc.fr/item/DM_1996_8_4_a1/