Geodesic
Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics
Bulletin of the Section of Logic, Tome 46 (2017) no. 1-2.

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

We discuss relationships among the existence property, the disjunction property, and their weak variants in the setting of intermediate predicate logics. We deal with the weak and sentential existence properties, and the Z-normality, which is a weak variant of the disjunction property. These weak variants were presented in the author’s previous paper [16]. In the present paper, the Kripke sheaf semantics is used.
Keywords: intermediate predicate logics, existence property, disjunction property 
@article{BSL_2017_46_1-2_a6,
     author = {Suzuki, Nobu-Yuki},
     title = {Some {Weak} {Variants} of the {Existence} and {Disjunction} {Properties} in {Intermediate} {Predicate} {Logics}},
     journal = {Bulletin of the Section of Logic},
     publisher = {mathdoc},
     volume = {46},
     number = {1-2},
     year = {2017},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/BSL_2017_46_1-2_a6/}
}
TY  - JOUR
AU  - Suzuki, Nobu-Yuki
TI  - Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics
JO  - Bulletin of the Section of Logic
PY  - 2017
VL  - 46
IS  - 1-2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BSL_2017_46_1-2_a6/
LA  - en
ID  - BSL_2017_46_1-2_a6
ER  - 
%0 Journal Article
%A Suzuki, Nobu-Yuki
%T Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics
%J Bulletin of the Section of Logic
%D 2017
%V 46
%N 1-2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2017_46_1-2_a6/
%G en
%F BSL_2017_46_1-2_a6
Suzuki, Nobu-Yuki. Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics. Bulletin of the Section of Logic, Tome 46 (2017) no. 1-2. http://geodesic.mathdoc.fr/item/BSL_2017_46_1-2_a6/