Geodesic
The projective Beth property in well-composed logics
Algebra i logika, Tome 52 (2013) no. 2, pp. 172-202

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

The interpolation and Beth definability problems are proved decidable in well-composed logics, i.e., in extensions of Johansson's minimal logic $\mathrm J$ satisfying an axiom $(\perp\to A)\vee(A\to\perp)$. In previous studies, all $\mathrm J$-logics with the weak interpolation property (WIP) were described and WIP was proved decidable over $\mathrm J$. Also it was shown that only finitely many wellcomposed logics possess Craig's interpolation property (CIP) and the restricted interpolation property (IPR), and moreover, IPR is equivalent to the projective Beth property (PBP) on the class of logics in question. These results are applied to prove decidability of IPR and PBP in well-composed logics. The decidability of CIP in such logics was stated earlier. Thus all basic versions of the interpolation and Beth properties are decidable on the class of wellcomposed logics.
Keywords: projective Beth property, interpolation property, decidability, well-composed logic. 
@article{AL_2013_52_2_a3,
     author = {L. L. Maksimova},
     title = {The projective {Beth} property in well-composed logics},
     journal = {Algebra i logika},
     pages = {172--202},
     publisher = {mathdoc},
     volume = {52},
     number = {2},
     year = {2013},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2013_52_2_a3/}
}
TY  - JOUR
AU  - L. L. Maksimova
TI  - The projective Beth property in well-composed logics
JO  - Algebra i logika
PY  - 2013
SP  - 172
EP  - 202
VL  - 52
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2013_52_2_a3/
LA  - ru
ID  - AL_2013_52_2_a3
ER  - 
%0 Journal Article
%A L. L. Maksimova
%T The projective Beth property in well-composed logics
%J Algebra i logika
%D 2013
%P 172-202
%V 52
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2013_52_2_a3/
%G ru
%F AL_2013_52_2_a3
L. L. Maksimova. The projective Beth property in well-composed logics. Algebra i logika, Tome 52 (2013) no. 2, pp. 172-202. http://geodesic.mathdoc.fr/item/AL_2013_52_2_a3/