Description

• Title:
  Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics
• Creator:
  Suzuki, Nobu-Yuki
• Contributor:
  Shizuoka University, Department of Mathematics, Faculty of Science, Ohya 836, Suruga-Ku Shizuoka 422–8529, Japan;
  suzuki.nobuyuki@shizuoka.ac.jp
• Description:
  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.;
  Zadanie „ Wdrożenie platformy Open Journal System dla czasopisma „ Bulletin of the Section of Logic” finansowane w ramach umowy 948/P-DUN/2016 ze środków Ministra Nauki i Szkolnictwa Wyższego przeznaczonych na działalność upowszechniającą naukę.
• Object availability:
  free access
• Rights:
  © Copyright by Authors, Łódź 2017; © Copyright for this edition by Uniwersytet Łódzki, Łódź 2017
• Date:
  2018.04.24;
  2017
• Type:
  Article
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;1/2;
  46
• Subject:
  intermediate predicate logics;
  existence property;
  disjunction property
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/24564 ;
  2449-836X;
  10.18778/0138-0680.46.1.2.08
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  seek permission
• Type:
  image