Description

• Title:
  On the da Costa, Dubikajtis and Kotas’ system of the discursive logic, D*2
• Creator:
  Ciuciura, Janusz
• Description:
  In the late forties, Stanisław Jaśkowski published two papers on the discursive (or discussive) sentential calculus, D2. He provided a definition of it by an interpretation in the language of S5 of Lewis. The known axiomatization of D2 with discursive connectives as primitives was introduced by da Costa, Dubikajtis and Kotas in 1977. It turns out, however, that one of the axioms they used is not a thesis of the real Jaśkowski’s calculus. In fact, they built a new system, D*2 for short, that differs from D2 in many respects. The aim of this paper is to introduce a direct Kripke-type semantics for the system, axiomatize it in a new way and prove soundness and completeness theorems. Additionally, we present labelled tableaux for D*2.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Date:
  2005.12.23
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 14 No. 2 (2005); 235-252;
  Logic and Logical Philosophy; Tom 14 Nr 2 (2005); 235-252;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2005.015/1446
• Subject:
  discursive (discussive) logic;
  D2;
  paraconsistent logic;
  labelled tableaux
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2005.015
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text