Paraconsistent Logic and Weakening of Intuitionistic Negation
A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. In an earlier paper [Notre Dame J. Form. Log. 49 (2008), 401–424], we developed the systems of weakening of intuitionistic negation logic, called and , in the spirit of da Costa's appr...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
De Gruyter
2012-10-01
|
| Series: | Journal of Intelligent Systems |
| Subjects: | |
| Online Access: | https://doi.org/10.1515/jisys-2012-0011 |