Geodesic
Interpolation in Normal Extensions of the Brouwer Logic
Bulletin of the Section of Logic, Tome 45 (2016) no. 3-4

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

The Craig interpolation property and interpolation property for deducibility are considered for special kind of normal extensions of the Brouwer logic.
Keywords: normal extensions of the Brouwer logics, Kripke frames, interpolation property, amalgamation property 
Kostrzycka, Zofia. Interpolation in Normal Extensions of the Brouwer Logic. Bulletin of the Section of Logic, Tome 45 (2016) no. 3-4. http://geodesic.mathdoc.fr/item/BSL_2016_45_3-4_a2/
@article{BSL_2016_45_3-4_a2,
     author = {Kostrzycka, Zofia},
     title = {Interpolation in {Normal} {Extensions} of the {Brouwer} {Logic}},
     journal = {Bulletin of the Section of Logic},
     year = {2016},
     volume = {45},
     number = {3-4},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/BSL_2016_45_3-4_a2/}
}
TY  - JOUR
AU  - Kostrzycka, Zofia
TI  - Interpolation in Normal Extensions of the Brouwer Logic
JO  - Bulletin of the Section of Logic
PY  - 2016
VL  - 45
IS  - 3-4
UR  - http://geodesic.mathdoc.fr/item/BSL_2016_45_3-4_a2/
LA  - en
ID  - BSL_2016_45_3-4_a2
ER  - 
%0 Journal Article
%A Kostrzycka, Zofia
%T Interpolation in Normal Extensions of the Brouwer Logic
%J Bulletin of the Section of Logic
%D 2016
%V 45
%N 3-4
%U http://geodesic.mathdoc.fr/item/BSL_2016_45_3-4_a2/
%G en
%F BSL_2016_45_3-4_a2