Description

• Title:
  Connexive Conditional Logic. Part I
• Creator:
  Wansing, Heinrich;
  Unterhuber, Matthias
• Description:
  In this paper, first some propositional conditional logics based on Belnap and Dunn’s useful four-valued logic of first-degree entailment are introduced semantically, which are then turned into systems of weakly and unrestrictedly connexive conditional logic. The general frame semantics for these logics makes use of a set of allowable (or admissible) extension/antiextension pairs. Next, sound and complete tableau calculi for these logics are presented. Moreover, an expansion of the basic conditional connexive logics by a constructive implication is considered, which gives an opportunity to discuss recent related work, motivated by the combination of indicative and counterfactual conditionals. Tableau calculi for the basic constructive connexive conditional logics are defined and shown to be sound and complete with respect to their semantics. This semantics has to ensure a persistence property with respect to the preorder that is used to interpret the constructive implication.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2018 Logic and Logical Philosophy
• Date:
  2018.12.28
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 28 No. 3 (2019): September; 567-610;
  Logic and Logical Philosophy; Tom 28 Nr 3 (2019): wrzesień; 567-610;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2018.018/16409
• Subject:
  conditional logic;
  connexive logic;
  paraconsistent logic;
  Chellas frames;
  Segerberg frames;
  general frames;
  first-degree entailment logic;
  Aristotle’s theses;
  Boethius’ theses;
  extension/anti-extension pairs;
  tableaux;
  03B60 Other nonclassical logic;
  03B53 Paraconsistent logics;
  03B45 Modal logic
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2018.018
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text