We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Logic

Title: On a paraconsistentization functor in the category of consequence structures

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.
Comments: This new version includes corrections and a change in the order of propositions
Subjects: Logic (math.LO)
Cite as: arXiv:1604.04227 [math.LO]
  (or arXiv:1604.04227v2 [math.LO] for this version)

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.