- Tytuł:
- Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics
- Autorzy:
- Suzuki, Nobu-Yuki
- Powiązania:
- https://bibliotekanauki.pl/articles/749948.pdf
- Data publikacji:
- 2017
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
intermediate predicate logics
existence property
disjunction property - Opis:
- 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.
- Źródło:
-
Bulletin of the Section of Logic; 2017, 46, 1/2
0138-0680
2449-836X - Pojawia się w:
- Bulletin of the Section of Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł