Geodesic
Recognizable logics
Algebra i logika, Tome 54 (2015) no. 2, pp. 252-274

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

We look into the recognition problem for extensions of Johansson's minimal logic J. It is proved that certain of the known logics are recognizable over J. Namely, recognizability over J is revealed for all well-composed logics possessing Craig's interpolation property (CIP), the restricted interpolation property (IPR), or the projective Beth property (PBP). It is proved that the logic JF is not reliably recognizable over J. Furthermore, we establish a link between the algebraic and the modified Kripke semantics, and give a criterion for being reliably recognizable in terms of characteristic formulas.
Keywords: Johansson’s minimal logic, recognizability, reliable recognizability, interpolation property, characteristic formula. 
@article{AL_2015_54_2_a7,
     author = {L. L. Maksimova and V. F. Yun},
     title = {Recognizable logics},
     journal = {Algebra i logika},
     pages = {252--274},
     publisher = {mathdoc},
     volume = {54},
     number = {2},
     year = {2015},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2015_54_2_a7/}
}
TY  - JOUR
AU  - L. L. Maksimova
AU  - V. F. Yun
TI  - Recognizable logics
JO  - Algebra i logika
PY  - 2015
SP  - 252
EP  - 274
VL  - 54
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2015_54_2_a7/
LA  - ru
ID  - AL_2015_54_2_a7
ER  - 
%0 Journal Article
%A L. L. Maksimova
%A V. F. Yun
%T Recognizable logics
%J Algebra i logika
%D 2015
%P 252-274
%V 54
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2015_54_2_a7/
%G ru
%F AL_2015_54_2_a7
L. L. Maksimova; V. F. Yun. Recognizable logics. Algebra i logika, Tome 54 (2015) no. 2, pp. 252-274. http://geodesic.mathdoc.fr/item/AL_2015_54_2_a7/