Description

• Title:
  An Epistemic Interpretation of Paraconsistent Weak Kleene Logic
• Creator:
  Szmuc, Damian E.
• Description:
  This paper extends Fitting’s epistemic interpretation of some Kleene logics to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting’s “cut-down” operator is discussed, leading to the definition of a “track-down” operator later used to represent the idea that no consistent opinion can arise from a set including an inconsistent opinion. It is shown that, if some reasonable assumptions are made, the truth-functions of Paraconsistent Weak Kleene coincide with certain operations defined in this track-down fashion. Finally, further reflections on conjunction and disjunction in the weak Kleene logics accompany this paper, particularly concerning their relation with containment logics. These considerations motivate a special approach to defining sound and complete Gentzen-style sequent calculi for some of their four-valued generalizations.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2019 Logic and Logical Philosophy
• Date:
  2019.05.24
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 28 No. 2 (2019): June; 277-330;
  Logic and Logical Philosophy; Tom 28 Nr 2 (2019): czerwiec; 277-330;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2019.014/17607
• Subject:
  weak Kleene logic;
  infectious logic;
  containment logic;
  sequent calculus
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2019.014
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text