Some new results on PCL1 and its related systems
Some new results on PCL1 and its related systems
复制标题
PCL1及其相关系统的一些新结果
DOI：
10.12775/llp.2010.006
复制
发表时间：
2010
影响因子：
0.5
通讯作者：
Hitoshi Omori
中科院分区：
文献类型：
--
作者：
Toshiharu Waragai;Hitoshi Omori
在 [Waragai & Shidori, 2007] 中，提出了一种称为 PCL1 的次一致逻辑系统，它采用与 da Costa 类似的方法。本文对该系统及其相关系统给出了进一步的结果。这些结果包括用经典否定丰富系统PCL1的具体条件，对da Costa与Waragai和Shidori给出的“经典行为”具体概念的比较，以及对Waragai和Shidori给出的“经典行为”概念的表征。
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.