On a paraconsistentization functor in the category of consequence structures

Edelcio G. de Souza, Alexandre Costa-Leite, Diogo H. B. Dias

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} h…