On Paraconsistent Weakening of Intuitionistic Negation

In [1], systems of weakening of intuitionistic negation logic called Zn and CZn were developed in the spirit of da Costa’s approach(c.f. [2]) by preserving, differently from da Costa, its fundamental properties: antitonicity, inversion and additivity for distributive lattices. However, according to [3], those systems turned out to be not paraconsistent but extensions of intuitionistic logic. Taking into account of this result, we shall here make some observations on the modified systems of Zn and CZn, that are paraconsistent as well.

• Type: Journal
• Year: 2011
• Where: CORR
• Authors: Zoran Majkic
• Keywords: CORR 2011, Da Costa, Education, Intuitionistic Negation Logic, Systems