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 
@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},
     publisher = {mathdoc},
     volume = {45},
     number = {3-4},
     year = {2016},
     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
PB  - mathdoc
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
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2016_45_3-4_a2/
%G en
%F BSL_2016_45_3-4_a2
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/