Paradeduction in Axiomatic Formal Systems

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


This paper presents the concept of paradeduction in order to justify that we can overlook contradictory information taking into account only what is consistent. Besides that, it uses paradeduction to show that there is a way to transform any logic, introduced as an axiomatic formal system, into a paraconsistent one.


  • There are currently no refbacks.