矛盾許容型論理PCL1の拡張について

抄録

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.