Description

• Title:
  Simplified Semantics for Further Relevant Logics II: Propositional Constants
• Creator:
  Øgaard, Tore Fjetland
• Description:
  It is shown how to model propositional constants within the simplified Routley-Meyer semantics. Various axioms and rules allowing the definition of modal operators, implicative negations, enthymematical conditionals, and propositions expressing various infinite conjunctions and disjunctions are set forth and shown to correspond to specific frame conditions. Two propositional constants which are both often designated as “the Ackermann constant” are shown to capture two such “infinite” propositions: The conjunction of every logical law and the conjunction of every truth –what Anderson and Belnap called the “world” constant.;
  It is shown how to model propositional constants within the simplified Routley-Meyer semantics. Various axioms and rules allowing the definition of modal operators, implicative negations, enthymematical conditionals, and propositions expressing various infinite conjunctions and disjunctions are set forth and shown to correspond to specific frame conditions. Two propositional constants which are both often designated as ``the Ackermann constant'' are shown to capture two such ``infinite'' propositions: The conjunction of every logical law and the conjunction of every truth---what Anderson and Belnap called the ``world'' constant.
• 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. 2 (2025): June; 161-191;
  Logic and Logical Philosophy; Tom 34 Nr 2 (2025): Czerwiec; 161-191;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/54689/39525
• Subject:
  relevant logics;
  simplified Routley-Meyer semantics;
  propositional constants
• Identifier: https://apcz.umk.pl/LLP/article/view/54689
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text