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/}
}
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/