2 citations · 3 across the 2 of their papers we have counts for
3 papers
Paraconsistentization and many-valued logics
Edelcio G. de Souza, Alexandre Costa-Leite, Diogo H. B. Dias
This paper shows how to transform explosive many-valued systems into paraconsistent logics. We investigate especially the case of three-valued systems showing how paraconsistent th…
Paradeduction in Axiomatic Formal Systems
Edelcio G. de Souza, Alexandre Costa-Leite, Diogo H. B. Dias
The concept of paradeduction is presented in order to justify that we can overlook contradictory information taking into account only what is consistent. Besides that, paradeductio…
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…