Geodesic
Recognizable and perceptible logics and varieties
Algebra i logika, Tome 56 (2017) no. 3, pp. 367-374 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

Presented by the Program Committee of the Conference “Mal'tsev Readings”. 
@article{AL_2017_56_3_a5,
     author = {L. L. Maksimova},
     title = {Recognizable and perceptible logics and varieties},
     journal = {Algebra i logika},
     pages = {367--374},
     year = {2017},
     volume = {56},
     number = {3},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2017_56_3_a5/}
}
TY  - JOUR
AU  - L. L. Maksimova
TI  - Recognizable and perceptible logics and varieties
JO  - Algebra i logika
PY  - 2017
SP  - 367
EP  - 374
VL  - 56
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/AL_2017_56_3_a5/
LA  - ru
ID  - AL_2017_56_3_a5
ER  - 
%0 Journal Article
%A L. L. Maksimova
%T Recognizable and perceptible logics and varieties
%J Algebra i logika
%D 2017
%P 367-374
%V 56
%N 3
%U http://geodesic.mathdoc.fr/item/AL_2017_56_3_a5/
%G ru
%F AL_2017_56_3_a5
L. L. Maksimova. Recognizable and perceptible logics and varieties. Algebra i logika, Tome 56 (2017) no. 3, pp. 367-374. http://geodesic.mathdoc.fr/item/AL_2017_56_3_a5/

[1] L. Maksimova, “Strongly decidable properties of modal and intuitionistic calculi”, Log. J. IGPL, 8:6 (2000), 797–819 | DOI | MR | Zbl

[2] D. M. Gabbay, L. Maksimova, Interpolation and definability: modal and intuitionistic logics, Oxford Logic Guides, 46, Oxford Sci. Publ., Clarendon Press, Oxford, 2005 | MR | Zbl

[3] L. L. Maksimova, V. F. Yun, “Uznavaemye logiki”, Algebra i logika, 54:2 (2015), 252–274 | DOI | MR | Zbl

[4] L. L. Maksimova, V. F. Yun, “Silnaya razreshimost i silnaya uznavaemost”, Algebra i logika (to appear)

[5] S. Odintsov, V. Rybakov, “Unification and admissible rules for paraconsistent minimal Johanssons' logic $\mathbf J$ and positive intuitionistic logic $\mathbf{IPC}^+$”, Ann. Pure Appl. Logic, 164:7/8 (2013), 771–784 | DOI | MR | Zbl

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

[7] L. L. Maksimova, V. F. Yun, “Problema tablichnosti nad minimalnoi logikoi”, Sib. matem. zh., 57:6 (2016), 1320–1332 | DOI | MR | Zbl

[8] L. L. Maksimova, “Razreshimost slabogo interpolyatsionnogo svoistva nad minimalnoi logikoi”, Algebra i logika, 50:2 (2011), 152–188 | MR | Zbl

[9] L. L. Maksimova, “Proektivnoe svoistvo Beta v stroinykh logikakh”, Algebra i logika, 52:2 (2013), 172–202 | MR | Zbl

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

[11] L. Esakia, V. Meskhi, “Five critical modal systems”, Theoria, 43:1 (1977), 52–60 | DOI | MR | Zbl

[12] L. L. Maksimova, “Ogranichennaya interpolyatsiya nad modalnoi logikoi S4”, Algebra i logika, 52:4 (2013), 461–501 | MR | Zbl

[13] A. V. Karpenko, “Interpolyatsiya v slabo tranzitivnykh modalnykh logikakh”, Algebra i logika, 51:2 (2012), 197–215 | MR | Zbl

[14] V. V. Rybakov, Admissibility of logical inference rules, Stud. Logic Found. Math., 136, Elsevier Sci. Publ. B.V., Amsterdam, 1997 | MR | Zbl