Description

• Title:
  Simplified Semantics for Further Relevant Logics I: Unreduced Semantics for E and Π′
• Creator:
  Øgaard, Tore Fjetland
• Description:
  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 ←.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2024 Tore Fjetland Øgaard;
  https://creativecommons.org/licenses/by-nd/4.0
• Date:
  2024.08.27
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  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
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/41493/39524
• Subject:
  converse conditional;
  E;
  fusion;
  γ;
  relevant logics;
  simplified Routley-Meyer semantics;
  unreduced frames
• Identifier: https://apcz.umk.pl/LLP/article/view/41493
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text