Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics

• Autorzy: Nobu-Yuki Suzuki
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

intermediate predicate logics; existence property; disjunction property

• Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
• Czasopismo: Bulletin of the Section of Logic
• Rocznik: 2017
• Tom: 46
• Numer: 1/2

Daty

wydano

2017-06-30

Twórcy

autor

Nobu-Yuki Suzuki

Identyfikatory

DOI

10.18778/0138-0680.46.1.2.08