Opis

• Tytuł:
  Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics
• Twórca:
  Suzuki, Nobu-Yuki
• Współtwórca:
  Shizuoka University, Department of Mathematics, Faculty of Science, Ohya 836, Suruga-Ku Shizuoka 422–8529, Japan;
  suzuki.nobuyuki@shizuoka.ac.jp
• 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.;
  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ę.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  © Copyright by Authors, Łódź 2017; © Copyright for this edition by Uniwersytet Łódzki, Łódź 2017
• Data:
  2018.04.24;
  2017
• Typ:
  Article
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;1/2;
  46
• Temat i słowa kluczowe:
  intermediate predicate logics;
  existence property;
  disjunction property
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/24564 ;
  2449-836X;
  10.18778/0138-0680.46.1.2.08
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  obrazy