Implicit precomplete classes and a criterion of implicit completeness in the three-valued logic
Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 2 (2018), pp. 56-59
Voir la notice de l'article provenant de la source Math-Net.Ru
The problem of implicit expressibility in the three-valued logic is considered. The system of all implicitly maximal classes is described. The corresponding criterion of implicit completeness is formulated.
@article{VMUMM_2018_2_a7,
author = {M. V. Starostin},
title = {Implicit precomplete classes and a criterion of implicit completeness in the three-valued logic},
journal = {Vestnik Moskovskogo universiteta. Matematika, mehanika},
pages = {56--59},
publisher = {mathdoc},
number = {2},
year = {2018},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/VMUMM_2018_2_a7/}
}
TY - JOUR AU - M. V. Starostin TI - Implicit precomplete classes and a criterion of implicit completeness in the three-valued logic JO - Vestnik Moskovskogo universiteta. Matematika, mehanika PY - 2018 SP - 56 EP - 59 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/VMUMM_2018_2_a7/ LA - ru ID - VMUMM_2018_2_a7 ER -
%0 Journal Article %A M. V. Starostin %T Implicit precomplete classes and a criterion of implicit completeness in the three-valued logic %J Vestnik Moskovskogo universiteta. Matematika, mehanika %D 2018 %P 56-59 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/VMUMM_2018_2_a7/ %G ru %F VMUMM_2018_2_a7
M. V. Starostin. Implicit precomplete classes and a criterion of implicit completeness in the three-valued logic. Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 2 (2018), pp. 56-59. http://geodesic.mathdoc.fr/item/VMUMM_2018_2_a7/