Description

• Title:
  Some new results on PCL1 and its related systems
• Creator:
  Waragai, Toshiharu;
  Omori, Hitoshi
• Description:
  In [Waragai & Shidori, 2007], a system of paraconsistent logic called PCL1, which takes a similar approach to that of da Costa, is proposed. The present paper gives further results on this system and its related systems. Those results include the concrete condition to enrich the system PCL1 with the classical negation, a comparison of the concrete notion of “behaving classically” given by da Costa and by Waragai and Shidori, and a characterisation of the notion of “behaving classically” given by Waragai and Shidori.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Date:
  2010.06.30
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 19 No. 1-2 (2010); 129-158;
  Logic and Logical Philosophy; Tom 19 Nr 1-2 (2010); 129-158;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2010.006/958
• Subject:
  paraconsistent logic;
  classical negation;
  da Costa's system C1
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2010.006
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text