Description

• Tytuł:
  Simplified Semantics for Further Relevant Logics II: Propositional Constants
• Twórca:
  Øgaard, Tore Fjetland
• Opis:
  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.
• Dostępność obiektu:
  free access
• 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:
  English
• Źródło:
  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
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/54689/39525
• Temat i słowa kluczowe:
  relevant logics;
  simplified Routley-Meyer semantics;
  propositional constants
• Identyfikator: https://apcz.umk.pl/LLP/article/view/54689
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  seek permission
• Rodzaj zawartości:
  text