Geodesic
Algorithms of the recognition of the tabularity and pretabularity in the extensions of the intuitionistic calculus
Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 6 (2006) no. 3, pp. 49-58 
L. L. Maksimova; P. A. Schreiner. Algorithms of the recognition of the tabularity and pretabularity in the extensions of the intuitionistic calculus. Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 6 (2006) no. 3, pp. 49-58. http://geodesic.mathdoc.fr/item/VNGU_2006_6_3_a3/
@article{VNGU_2006_6_3_a3,
     author = {L. L. Maksimova and P. A. Schreiner},
     title = {Algorithms of the recognition of the tabularity and pretabularity in the extensions of the intuitionistic calculus},
     journal = {Sibirskij \v{z}urnal \v{c}istoj i prikladnoj matematiki},
     pages = {49--58},
     year = {2006},
     volume = {6},
     number = {3},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VNGU_2006_6_3_a3/}
}
TY  - JOUR
AU  - L. L. Maksimova
AU  - P. A. Schreiner
TI  - Algorithms of the recognition of the tabularity and pretabularity in the extensions of the intuitionistic calculus
JO  - Sibirskij žurnal čistoj i prikladnoj matematiki
PY  - 2006
SP  - 49
EP  - 58
VL  - 6
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/VNGU_2006_6_3_a3/
LA  - ru
ID  - VNGU_2006_6_3_a3
ER  - 
%0 Journal Article
%A L. L. Maksimova
%A P. A. Schreiner
%T Algorithms of the recognition of the tabularity and pretabularity in the extensions of the intuitionistic calculus
%J Sibirskij žurnal čistoj i prikladnoj matematiki
%D 2006
%P 49-58
%V 6
%N 3
%U http://geodesic.mathdoc.fr/item/VNGU_2006_6_3_a3/
%G ru
%F VNGU_2006_6_3_a3

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

In the given work the algorithms allowing to carry out automatic recognition of tabular and pretabular properties at superintuitionistic and positive propositional logics and programs realizing these algorithms are described.

[1] P. A. Shrainer, “Avtomaticheskoe raspoznavanie interpolyatsionnogo svoistva u nekotorykh superintuitsionistskikh propozitsionalnykh logik”, Vestnik NGU, 3:4 (2003), 85–92

[2] L. L. Maksimova, Razreshimye svoistva superintuitsionistskikh i modalnykh logik, Dis. ... dokt. fiz.-matem. nauk, Novosibirsk, 1983

[3] L. L. Maksimova, “Neyavnaya opredelimost i pozitivnye logiki”, Algebra i logika, 42:1 (2003), 65–93 | MR | Zbl

[4] L. Maksimova, A. Voronkov, “Complexity of Some Problems in Modal and Intuitionistic Calculi”, Computer Science Logic, Springer, 2003, 397–412 | DOI | MR | Zbl

[5] L. Maksimova, “Complexity of interpolation and related problems in positive calculi”, The Journal of Symbolic Logic, 67:1 (2002), 28–55 | DOI | MR

[6] L. L. Maksimova, “Predtablichnye superintuitsionistskie logiki”, Algebra i logika, 11:5 (1972), 643–681

[7] T. Hosoi, “On intermediate logics”, J. Fac. Sci. Univ. Tokyo, 14 (1967), 293–312 | MR

[8] J. M. Dunn, R. K. Meyer, “Algebraic completeness results for Dummets $LC$ and its extensions”, Zeitschr. math. Log. und Grundl. Math., 17 (1971), 225–230 | DOI | MR | Zbl

[9] T. Hosoi, H. Ono, “The intermediate logics of the second slice”, J. Fac. Sci. Univ. Tokyo, 17 (1970), 457–461 | MR | Zbl

[10] L. L. Maksimova, “Teorema Kreiga v superintuitsionistskikh logikakh i amalgamiruemye mnogoobraziya psevdobulevykh algebr”, Algebra i logika, 16:6 (1977), 643–681 | MR | Zbl

[11] A. V. Kuznetsov, “Nekotorye svoistva struktury mnogoobrazii psevdobulevykh algebr”, Vsesoyuznyi algebraicheskii kollokvium (Kishinev, 1971), 258–259

[12] Kh. Raseva, Sikorskii R., Matematika metamatematiki, Nauka, M., 1972 | MR

[13] M. I. Verkhozina, “Promezhutochnye pozitivnye logiki”, Algoritmicheskie voprosy algebraicheskikh sistem, Irkutsk, 1978, 13–25

[14] L. L. Maksimova, “Predtablichnye rasshireniya logiki $S4$ Lyuisa”, Algebra i logika, 14:1 (1975), 28–55 | MR | Zbl

[15] L. L. Esakia, V. Yu. Meskhi, “Five critical systems”, Theoria, 40 (1977), 52–60 | MR