Opis

• Tytuł:
  Simplified Semantics for Further Relevant Logics I: Unreduced Semantics for E and Π′
• Twórca:
  Øgaard, Tore Fjetland
• Opis:
  This paper shows that the relevant logics E and Π′ are strongly sound and complete with regards to a version of the “simplified” Routley-Meyer semantics. Such a semantics for E has been thought impossible. Although it is impossible if an admissible rule of E  the rule of restricted assertion or equivalently Ackermann’s δ-rule  is solely added as a primitive rule, it is very much possible when E is axiomatized in the way Anderson and Belnap did. The simplified semantics for E and Π′ requires unreduced frames. Contra what has been claimed, however, no additional frame component is required over and above what’s required to model other relevant logics such as T and R. It is also shown how to modify the tonicity requirements of the ternary relation so as to allow for the standard truth condition for both fusion – the intensional conjunction ◦ – as well as the converse conditional ←.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Prawa autorskie (c) 2024 Tore Fjetland Øgaard;
  https://creativecommons.org/licenses/by-nd/4.0
• Data:
  2024.08.27
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  angielski
• Źródło:
  Logic and Logical Philosophy; Vol. 34 No. 1 (2025): March; 109-151;
  Logic and Logical Philosophy; Tom 34 Nr 1 (2025): Marzec; 109-151;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/41493/39524
• Temat i słowa kluczowe:
  converse conditional;
  E;
  fusion;
  γ;
  relevant logics;
  simplified Routley-Meyer semantics;
  unreduced frames
• Identyfikator: https://apcz.umk.pl/LLP/article/view/41493
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  teksty