Geodesic
Interpolation in Normal Extensions of the Brouwer Logic
Bulletin of the Section of Logic, Tome 45 (2016) no. 3-4 Cet article a éte moissonné depuis la source Library of Science

Voir la notice de l'article

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},
     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
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/