Geodesic
Algebraic Characterization of the Local Craig Interpolation Property
Bulletin of the Section of Logic, Tome 47 (2018) no. 1.

Voir la notice de l'article provenant de la source Library of Science

The sole purpose of this paper is to give an algebraic characterization, in terms of a superamalgamation property, of a local version of Craig interpolation theorem that has been introduced and studied in earlier papers. We continue ongoing research in abstract algebraic logic and use the framework developed by Andréka– Németi and Sain. 
Keywords: Craig interpolation, Algebraic logic, Superamalgamation 
@article{BSL_2018_47_1_a0,
     author = {Gyenis, Zal\'an},
     title = {Algebraic {Characterization} of the {Local} {Craig} {Interpolation} {Property}},
     journal = {Bulletin of the Section of Logic},
     publisher = {mathdoc},
     volume = {47},
     number = {1},
     year = {2018},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/BSL_2018_47_1_a0/}
}
TY  - JOUR
AU  - Gyenis, Zalán
TI  - Algebraic Characterization of the Local Craig Interpolation Property
JO  - Bulletin of the Section of Logic
PY  - 2018
VL  - 47
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BSL_2018_47_1_a0/
LA  - en
ID  - BSL_2018_47_1_a0
ER  - 
%0 Journal Article
%A Gyenis, Zalán
%T Algebraic Characterization of the Local Craig Interpolation Property
%J Bulletin of the Section of Logic
%D 2018
%V 47
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2018_47_1_a0/
%G en
%F BSL_2018_47_1_a0
Gyenis, Zalán. Algebraic Characterization of the Local Craig Interpolation Property. Bulletin of the Section of Logic, Tome 47 (2018) no. 1. http://geodesic.mathdoc.fr/item/BSL_2018_47_1_a0/