Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System
Majkić, Zoran
Notre Dame J. Formal Logic, Tome 49 (2008) no. 1, p. 401-424 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
In this paper we propose substructural propositional logic obtained by da Costa weakening of the intuitionistic negation. We show that the positive fragment of the da Costa system is distributive lattice logic, and we apply a kind of da Costa weakening of negation, by preserving, differently from da Costa, its fundamental properties: antitonicity, inversion, and additivity for distributive lattices. The other stronger paraconsistent logic with constructive negation is obtained by adding an axiom for multiplicative property of weak negation. After that, we define Kripke-style semantics based on possible worlds and derive from it many-valued semantics based on truth-functional valuations for these two paraconsistent logics. Finally, we demonstrate that this model-theoretic inference system is adequate—sound and complete with respect to the axiomatic da Costa-like systems for these two logics.
Publié le : 2008-10-15
Classification:  paraconsistent logic,  many-valued logic,  autoreferential Kripke semantics,  03B53 
@article{1224257539,
     author = {Majki\'c, Zoran},
     title = {Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System},
     journal = {Notre Dame J. Formal Logic},
     volume = {49},
     number = {1},
     year = {2008},
     pages = { 401-424},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1224257539}
}

Majkić, Zoran. Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System. Notre Dame J. Formal Logic, Tome 49 (2008) no. 1, pp.  401-424. http://gdmltest.u-ga.fr/item/1224257539/