Sciweavers

CORR
2011
Springer
176views Education» more  CORR 2011»
13 years 6 months ago
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 C...
Zoran Majkic