@article{VMUMM_2022_3_a7,
author = {M. V. Starostin},
title = {On the classes of autodual functions implicitly maximal in $P_k$},
journal = {Vestnik Moskovskogo universiteta. Matematika, mehanika},
pages = {40--45},
year = {2022},
number = {3},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/VMUMM_2022_3_a7/}
}
M. V. Starostin. On the classes of autodual functions implicitly maximal in $P_k$. Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 3 (2022), pp. 40-45. http://geodesic.mathdoc.fr/item/VMUMM_2022_3_a7/
[1] Kuznetsov A.V., “O sredstvakh dlya obnaruzheniya nevyvodimosti ili nevyrazimosti”, Logicheskii vyvod, Nauka, M., 1979, 5–33
[2] Kasim-Zade O.M., “O neyavnoi polnote v $k$-znachnoi logike”, Vestn. Mosk. un-ta. Matem. Mekhan., 2007, no. 3, 9–13 | MR | Zbl
[3] Kasim-Zade O.M., “O neyavnoi vyrazimosti v dvuznachnoi logike i kriptoizomorfizmakh dvukhelementnykh algebr”, Dokl. RAN, 348:3 (1996), 299–301 | MR | Zbl
[4] Starostin M.V., “Neyavno predpolnye klassy i kriterii neyavnoi polnoty v trekhznachnoi logike”, Vestn. Mosk. un-ta. Matem. Mekhan., 2018, no. 2, 56–59 | Zbl
[5] Orekhova E.A., “Ob odnom kriterii neyavnoi polnoty v trekhznachnoi logike”, Matematicheskie voprosy kibernetiki, 12, Fizmatlit, M., 2003, 27–74
[6] Yablonskii S.V., “Funktsionalnye postroeniya v $k$-znachnoi logike”, Tr. Matem. in-ta AN SSSR, Izd-vo AN SSSR, M., 1958, 5–142