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 |
| Summary: | 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 approach by preserving,
differently from da Costa, the fundamental properties of negation: antitonicity, inversion and additivity for
distributive lattices. Taking into account these results, we make some observations on the modified systems of and , and their paraconsistent properties. |
|---|---|
| ISSN: | 0334-1860 2191-026X |