著者

大森 仁 藁谷 敏晴

出版者

科学基礎論学会

雑誌

科学基礎論研究 (ISSN:00227668)

巻号頁・発行日

vol.39, no.2, pp.51-68, 2012-03-25 (Released:2017-08-01)

参考文献数

21

---

A system of paraconsistent logic called PCL1 is known to have an interesting relation to Modal Logic S5, and in one of our previous papers, we focused on some concrete conditions to obtain the "minimal" extension of PCL1 enriched with the classical negation. Based on this result, the present paper offers some additional remarks on enriching PCL1 with the classical negation and other concrete conditions to obtain the relation between PCL1 enriched with the classical negation and S5. Also a simple relation between PCL1 and the existing systems is clarified and a maximal three-valued extension of PCL1 is presented.