Opis

• Tytuł:
  Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B
• Twórca:
  López, Sandra M.
• Współtwórca:
  Universidad de Salamanca, Departamento de Filosofía, Lógica y Estética, 37007, Campus Unamuno, Edificio FES, Salamanca, Spain;
  sandralv@usal.es
• Opis:
  Six interesting variants of the logics BN4 and E4—which can be considered as the 4-valued logics of the relevant conditional and (relevant) entailment, respectively—were previously developed in the literature. All these systems are related to the family of relevant logics and contain Routley and Meyer's basic logic B, which is well-known to be specifically associated with the ternary relational semantics. The aim of this paper is to develop reduced general Routley-Meyer semantics for them. Strong soundness and completeness theorems are proved for each one of the logics.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa: https://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2022.05.19;
  2021.09.02
• Typ:
  Other
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;1;
  51
• Temat i słowa kluczowe:
  Ternary relational semantics;
  relevant logics;
  4-valued logics;
  Routley and Meyer's logic B;
  4-valued quasi-relevant logics
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/41867 ;
  2449-836X;
  10.18778/0138-0680.2021.16
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  pozostałe