Opis

• Tytuł:
  Note on Contradictions in Francez-Weiss Logics
• Twórca:
  Niki, Satoru
• Opis:
  It is an unusual property for a logic to prove a formula and its negation without ending up in triviality. Some systems have nonetheless been observed to satisfy this property: one group of such non-trivial negation inconsistent logics has its archetype in H. Wansing’s constructive connexive logic, whose negation-implication fragment already proves contradictions. N. Francez and Y. Weiss subsequently investigated relevant subsystems of this fragment, and Weiss in particular showed that they remain negation inconsistent. In this note, we take a closer look at this phenomenon in the systems of Francez and Weiss, and point out two types of necessary conditions, one proof-theoretic and one relevant, which any contradictory formula must satisfy. As a consequence, we propose a nine-fold classification of provable contradictions for the logics.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Prawa autorskie (c) 2024 Satoru Niki;
  https://creativecommons.org/licenses/by-nd/4.0
• Data:
  2024.12.12
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  angielski
• Źródło:
  Logic and Logical Philosophy; Online First Articles; 1-30;
  Logic and Logical Philosophy; Prace online; 1-30;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/51154/40659
• Temat i słowa kluczowe:
  connexive logic;
  contradictory logic;
  relevant logics;
  sequent calculus;
  strong negation
• Identyfikator: https://apcz.umk.pl/LLP/article/view/51154
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  teksty