Geodesic
The Beth property and interpolation in lattice-based algebras and logics
Algebra i logika, Tome 47 (2008) no. 3, pp. 307-334

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

We deal with logics based on lattices with an additional unary operation. Interrelations of different versions of interpolation, the Beth property, and amalgamation, as they bear on modal logics and varieties of modal algebras, superintuitionistic logics and varieties of Heyting algebras, positive logics and varieties of implicative lattices, have been studied in many works. Sometimes these relations can and sometimes cannot be extended to the logics without implication considered in the paper.
Keywords: Beth property, logic without implication.
Mots-clés : interpolation 
@article{AL_2008_47_3_a2,
     author = {L. L. Maksimova and E. Orlowska},
     title = {The {Beth} property and interpolation in lattice-based algebras and logics},
     journal = {Algebra i logika},
     pages = {307--334},
     publisher = {mathdoc},
     volume = {47},
     number = {3},
     year = {2008},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2008_47_3_a2/}
}
TY  - JOUR
AU  - L. L. Maksimova
AU  - E. Orlowska
TI  - The Beth property and interpolation in lattice-based algebras and logics
JO  - Algebra i logika
PY  - 2008
SP  - 307
EP  - 334
VL  - 47
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2008_47_3_a2/
LA  - ru
ID  - AL_2008_47_3_a2
ER  - 
%0 Journal Article
%A L. L. Maksimova
%A E. Orlowska
%T The Beth property and interpolation in lattice-based algebras and logics
%J Algebra i logika
%D 2008
%P 307-334
%V 47
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2008_47_3_a2/
%G ru
%F AL_2008_47_3_a2
L. L. Maksimova; E. Orlowska. The Beth property and interpolation in lattice-based algebras and logics. Algebra i logika, Tome 47 (2008) no. 3, pp. 307-334. http://geodesic.mathdoc.fr/item/AL_2008_47_3_a2/