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 Cet article a éte moissonné depuis la source Library of Science

Voir la notice de l'article

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},
     year = {2017},
     volume = {46},
     number = {1-2},
     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
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
%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/