2 citations · 3 across the 2 of their papers we have counts for
2 papers
math.LO2020★ 1 cited
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…
math.LO2017★ 2 cited
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…