Opis

• Tytuł:
  Some new results on PCL1 and its related systems
• Twórca:
  Waragai, Toshiharu;
  Omori, Hitoshi
• Opis:
  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.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Data:
  2010.06.30
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  angielski
• Źródło:
  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
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2010.006/958
• Temat i słowa kluczowe:
  paraconsistent logic;
  classical negation;
  da Costa's system C1
• Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2010.006
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  teksty