Geodesic
Completeness criterion for the enumeration closure operator in three-valued logic
Diskretnaya Matematika, Tome 30 (2018) no. 4, pp. 47-54.

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

A completeness criterion for the enumeration closure operator in three-valued logic is obtained, and all 13 precomplete classes are described.
Keywords: enumeration closure operator, three-valued logic. 
@article{DM_2018_30_4_a4,
     author = {S. S. Marchenkov},
     title = {Completeness criterion for the enumeration closure operator in three-valued logic},
     journal = {Diskretnaya Matematika},
     pages = {47--54},
     publisher = {mathdoc},
     volume = {30},
     number = {4},
     year = {2018},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/DM_2018_30_4_a4/}
}
TY  - JOUR
AU  - S. S. Marchenkov
TI  - Completeness criterion for the enumeration closure operator in three-valued logic
JO  - Diskretnaya Matematika
PY  - 2018
SP  - 47
EP  - 54
VL  - 30
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DM_2018_30_4_a4/
LA  - ru
ID  - DM_2018_30_4_a4
ER  - 
%0 Journal Article
%A S. S. Marchenkov
%T Completeness criterion for the enumeration closure operator in three-valued logic
%J Diskretnaya Matematika
%D 2018
%P 47-54
%V 30
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DM_2018_30_4_a4/
%G ru
%F DM_2018_30_4_a4
S. S. Marchenkov. Completeness criterion for the enumeration closure operator in three-valued logic. Diskretnaya Matematika, Tome 30 (2018) no. 4, pp. 47-54. http://geodesic.mathdoc.fr/item/DM_2018_30_4_a4/

[1] Marchenkov S.S., “On expressibility of functions of many-valued logic in some logical-functional languages”, Discrete Math. Appl., 9:6 (1999), 563–581 | DOI | DOI | MR | Zbl

[2] Marchenkov S.S., “A criterion for positive completeness in ternary logic'”, J. Appl. and Indust. Math., 4:1 (2007), 481–488 | DOI | MR | Zbl

[3] Marchenkov S.S., “Positive closed classes of three-valued logic”, J. Appl. and Indust. Math., 8:2 (2014), 256–266 | DOI | MR | MR | Zbl

[4] Marchenkov S.S., On the enumeration closure operator in multivalued logic, 39:2 (2015), 81–87 | MR | Zbl

[5] Marchenkov S.S., Silnye operatory zamykaniya, MAKS Press, M., 2017

[6] Maltsev A.I., Algoritmy i rekursivnye funktsii, Nauka, M., 1986

[7] Yanov Yu.I., Muchnik A.A., “O suschestvovanii $k$-znachnykh zamknutykh klassov, ne imeyuschikh bazisa”, Doklady AN SSSR, 127:1 (1959), 44–46 | Zbl