References & Citations
Mathematics > Logic
Title: On a paraconsistentization functor in the category of consequence structures
(Submitted on 14 Apr 2016 (v1), last revised 10 Jun 2016 (this version, v2))
Abstract: This paper is an attempt to solve the following problem: given a logic, how to turn it into a paraconsistent one? In other words, given a logic in which \emph{ex falso quodlibet} holds, how to convert it into a logic not satisfying this principle? We use a framework provided by category theory in order to define a category of consequence structures. Then, we propose a functor to transform a logic not able to deal with contradictions into a paraconsistent one. Moreover, we study the case of paraconsistentization of propositional classical logic.
Submission history
From: Alexandre Costa-Leite [view email][v1] Thu, 14 Apr 2016 17:28:59 GMT (11kb)
[v2] Fri, 10 Jun 2016 01:38:33 GMT (11kb)
Link back to: arXiv, form interface, contact.