Geodesic
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 
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/
@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},
     year = {2018},
     number = {2},
     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
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
%U http://geodesic.mathdoc.fr/item/VMUMM_2018_2_a7/
%G ru
%F VMUMM_2018_2_a7

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.

[1] Kuznetsov A.V., “O sredstvakh dlya obnaruzheniya nevyvodimosti ili nevyrazimosti”, Logicheskii vyvod, Nauka, M., 1979, 5–33

[2] Kon P., Universalnaya algebra, Mir, M., 1968 | MR

[3] Kasim-Zade O.M., “O neyavnoi vyrazimosti bulevykh funktsii”, Vestn. Mosk. un-ta. Matem. Mekhan., 1995, no. 2, 44–49 | MR | Zbl

[4] Kasim-Zade O.M., “O neyavnoi vyrazimosti v dvuznachnoi logike i kriptoizomorfizmakh dvukhelementnykh algebr”, Dokl. RAN, 348:3 (1996), 299–301 | MR | Zbl

[5] Kasim-Zade O.M., “Ob odnoi metricheskoi kharakteristike neyavnykh i parametricheskikh predstavlenii bulevykh funktsii”, Matematicheskie voprosy kibernetiki, 6, Fizmatlit, M., 1996, 133–188 | MR

[6] Kasim-Zade O.M., “O neyavnoi polnote v $k$-znachnoi logike”, Vestn. Mosk. un-ta. Matem. Mekhan., 2007, no. 3, 9–13 | Zbl

[7] Yablonskii S.V., “Funktsionalnye postroeniya v $k$-znachnoi logike”, Sbornik statei po matematicheskoi logike i ee prilozheniyam k nekotorym voprosam kibernetiki, Izd-vo AN SSSR, M., 1958

[8] Yablonskii S.V., Lupanov O.B., Diskretnaya matematika i matematicheskie voprosy kibernetiki, v. 1, Nauka, M., 1974 | MR

[9] Kasim-Zade O.M., “O slozhnosti parametricheskikh predstavlenii bulevykh funktsii”, Matematicheskie voprosy kibernetiki, 7, Fizmatlit, M., 1998, 85–160 | MR

[10] Orekhova E.A., “Ob odnom kriterii neyavnoi polnoty v trekhznachnoi logike ”, Matematicheskie voprosy kibernetiki, 12, Fizmatlit, M., 2003, 27–74

[11] Orekhova E.A., “O kriterii neyavnoi shefferovosti v trekhznachnoi logike”, Diskretnyi analiz i issledovanie operatsii. Ser. 1, 10:3 (2003), 82–105 | MR | Zbl

[12] Danilchenko A.F., “O parametricheskoi vyrazimosti funktsii trekhznachnoi logiki”, Algebra i logika, 16:4 (1977), 397–416 | MR | Zbl

[13] Orekhova E.A., “Ob odnom kriterii neyavnoi polnoty v $k$-znachnoi logike”, Matematicheskie voprosy kibernetiki, 11, Fizmatlit, M., 2002, 77–90 | MR

[14] Burle G.A., “Klassy $k$-znachnykh funktsii, soderzhaschie vse funktsii odnoi peremennoi”, Diskretn. analiz, 1967, no. 10, 3–7 | MR | Zbl