Geodesic
Novikov Complete Logics: Translation Techniques
Algebra i logika, Tome 43 (2004) no. 3, pp. 364-378.

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

We show how to construct new, explicit examples of Novikov complete logics from the known ones, using a certain version of the translation techniques.
Keywords: Novikov complete logics. 
@article{AL_2004_43_3_a5,
     author = {A. D. Yashin},
     title = {Novikov {Complete} {Logics:} {Translation} {Techniques}},
     journal = {Algebra i logika},
     pages = {364--378},
     publisher = {mathdoc},
     volume = {43},
     number = {3},
     year = {2004},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2004_43_3_a5/}
}
TY  - JOUR
AU  - A. D. Yashin
TI  - Novikov Complete Logics: Translation Techniques
JO  - Algebra i logika
PY  - 2004
SP  - 364
EP  - 378
VL  - 43
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2004_43_3_a5/
LA  - ru
ID  - AL_2004_43_3_a5
ER  - 
%0 Journal Article
%A A. D. Yashin
%T Novikov Complete Logics: Translation Techniques
%J Algebra i logika
%D 2004
%P 364-378
%V 43
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2004_43_3_a5/
%G ru
%F AL_2004_43_3_a5
A. D. Yashin. Novikov Complete Logics: Translation Techniques. Algebra i logika, Tome 43 (2004) no. 3, pp. 364-378. http://geodesic.mathdoc.fr/item/AL_2004_43_3_a5/

[1] A. G. Dragalin, Matematicheskii intuitsionizm: vvedenie v teoriyu dokazatelstv, Nauka, M., 1979 | MR | Zbl

[2] Yu. L. Ershov, E. A. Palyutin, Matematicheskaya logika, Nauka, M., 1987 | MR | Zbl

[3] S. K. Klini, Vvedenie v metamatematiku, Inostr. lit-ra, M., 1959

[4] A. D. Yashin, “O novoi konstante v intuitsionistskoi logike vyskazyvanii”, Fund. prikl. matem., 5:3 (1999), 903–926 | MR | Zbl

[5] M. Kaminski, “Nonstandard connectives for intuitionistic propositional logic”, Notre Dame J. Formal Logic, 29:3 (1988), 309–331 | DOI | MR | Zbl

[6] Dzh. Bulos, R. Dzheffri, Vychislimost i logika, Mir, M., 1993 | Zbl

[7] A. D. Yashin, “New intuitionistic logical constants and Novikov completeness”, Stud. Log., 63:2 (1999), 151–180 | DOI | MR | Zbl

[8] Ya. S. Smetanich, “O polnote ischisleniya vyskazyvanii s dopolnitelnoi operatsiei ot odnoi peremennoi”, Tr. Mosk. matem. ob-va, 9 (1960), 357–371 | Zbl

[9] Ya. S. Smetanich, “Ob ischisleniyakh vyskazyvanii s dopolnitelnoi operatsiei”, Dokl. AN SSSR, 139:2 (1961), 309–312 | MR | Zbl

[10] A. D. Yashin, “Logika Smetanicha $T^{\Phi}$ i dva opredeleniya novoi intuitsionistskoi svyazki”, Matem. zametki, 56:1 (1994), 135–142 | MR | Zbl

[11] A. D. Yashin, “The Smetanich logic has the unique Novikov complete extension”, Proc. Logic Colloq.'94, Clermont-Ferrand, France, 1994, 163

[12] A. V. Bessonov, “O novykh operatsiyakh v intuitsionistskom ischislenii”, Matem. zametki, 22:1 (1977), 23–28 | MR | Zbl

[13] A. D. Yashin, “O polnote odnoi novoi intuitsionistskoi svyazki”, Matem. zametki, 60:3 (1996), 423–433 | MR | Zbl