Geodesic
The Projective Beth Property and Interpolation in Positive and Related Logics
Algebra i logika, Tome 45 (2006) no. 1, pp. 85-113

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

We look at the interplay between the projective Beth property in non-classical logics and interpolation. Previously, we proved that in positive logics as well as in superintuitionistic and modal ones, the projective Beth property PB2 follows from Craig's interpolation property and implies the restricted interpolation property IPR. Here, we show that IPR and PB2 are equivalent in positive logics, and also in extensions of the superintuitionistic logic KC and of the modal logic Grz.2.
Keywords: projective Beth property, restricted interpolation property, positive logic, superintuitionistic logic, modal logic. 
@article{AL_2006_45_1_a4,
     author = {L. L. Maksimova},
     title = {The {Projective} {Beth} {Property} and {Interpolation} in {Positive} and {Related} {Logics}},
     journal = {Algebra i logika},
     pages = {85--113},
     publisher = {mathdoc},
     volume = {45},
     number = {1},
     year = {2006},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2006_45_1_a4/}
}
TY  - JOUR
AU  - L. L. Maksimova
TI  - The Projective Beth Property and Interpolation in Positive and Related Logics
JO  - Algebra i logika
PY  - 2006
SP  - 85
EP  - 113
VL  - 45
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2006_45_1_a4/
LA  - ru
ID  - AL_2006_45_1_a4
ER  - 
%0 Journal Article
%A L. L. Maksimova
%T The Projective Beth Property and Interpolation in Positive and Related Logics
%J Algebra i logika
%D 2006
%P 85-113
%V 45
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2006_45_1_a4/
%G ru
%F AL_2006_45_1_a4
L. L. Maksimova. The Projective Beth Property and Interpolation in Positive and Related Logics. Algebra i logika, Tome 45 (2006) no. 1, pp. 85-113. http://geodesic.mathdoc.fr/item/AL_2006_45_1_a4/