Description

• Title:
  Note on Contradictions in Francez-Weiss Logics
• Creator:
  Niki, Satoru
• Description:
  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.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2024 Satoru Niki;
  https://creativecommons.org/licenses/by-nd/4.0
• Date:
  2024.12.12
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Online First Articles; 1-30;
  Logic and Logical Philosophy; Prace online; 1-30;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/51154/40659
• Subject:
  connexive logic;
  contradictory logic;
  relevant logics;
  sequent calculus;
  strong negation
• Identifier: https://apcz.umk.pl/LLP/article/view/51154
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text