Geodesic
A criterion for the implicit Sheffer property in three-valued logic
Diskretnyj analiz i issledovanie operacij, Tome 10 (2003) no. 3, pp. 82-105.

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

@article{DA_2003_10_3_a5,
     author = {E. A. Orekhova},
     title = {A criterion for the implicit {Sheffer} property in three-valued logic},
     journal = {Diskretnyj analiz i issledovanie operacij},
     pages = {82--105},
     publisher = {mathdoc},
     volume = {10},
     number = {3},
     year = {2003},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/DA_2003_10_3_a5/}
}
TY  - JOUR
AU  - E. A. Orekhova
TI  - A criterion for the implicit Sheffer property in three-valued logic
JO  - Diskretnyj analiz i issledovanie operacij
PY  - 2003
SP  - 82
EP  - 105
VL  - 10
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DA_2003_10_3_a5/
LA  - ru
ID  - DA_2003_10_3_a5
ER  - 
%0 Journal Article
%A E. A. Orekhova
%T A criterion for the implicit Sheffer property in three-valued logic
%J Diskretnyj analiz i issledovanie operacij
%D 2003
%P 82-105
%V 10
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DA_2003_10_3_a5/
%G ru
%F DA_2003_10_3_a5
E. A. Orekhova. A criterion for the implicit Sheffer property in three-valued logic. Diskretnyj analiz i issledovanie operacij, Tome 10 (2003) no. 3, pp. 82-105. http://geodesic.mathdoc.fr/item/DA_2003_10_3_a5/

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

[2] Kasim-Zade O. M., “O neyavnoi vyrazimosti bulevykh funktsii”, Vestnik MGU. Seriya 1. Matematika. Mekhanika, 1995, no. 2, 44–49 | MR | Zbl

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

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

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

[6] Ratsa M. F., “O klasse funktsii trekhznachnoi logiki, sootvetstvuyuschem pervoi matritse Yaskovskogo”, Problemy kibernetiki, no. 21, Nauka, M., 1969, 185–214

[7] Tolstova Yu. N., “O modelirovanii $l$-znachnoi logiki v $k$-znachnoi $(k>l)$”, Problemy kibernetiki, no. 18, Nauka, M., 1967, 67–82 | MR

[8] Yablonskii S. V., “Funktsionalnye postroeniya v $k$-znachnoi logike”, Sbornik statei po matematicheskoi logike i ee prilozheniyam k nekotorym voprosam kibernetiki, Trudy matematicheskogo in-ta im. V. A. Steklova, LI, Izd-vo AN SSSR, M., 1958, 270–360

[9] Yablonskii S. V., Vvedenie v diskretnuyu matematiku, Vysshaya shkola, M., 2001

[10] Yanovskaya S. A., “Matematicheskaya logika i osnovaniya matematiki”, Matematika v SSSR za sorok let, T. I, Fizmatlit, M., 1959, 13–120

[11] Martin N. M., “The Sheffer functions of 3-valued logic”, J. Symbolic Logic, 19:1 (1954), 45–51 | DOI | MR | Zbl

[12] Rousseau G., “Completeness in finite algebras with a single operation”, Proc. Amer. Math. Soc., 18:6 (1967), 1009–1013 | DOI | MR | Zbl