 previous article in this issue | next article in this issue  |
|
Document Details : Title: Paradeduction in Axiomatic Formal Systems Author(s): DE SOUZA, Edelcio G. , COSTA-LEITE, Alexandre , DIAS, Diogo H.B. Journal: Logique et Analyse Volume: 246 Date: 2019 Pages: 161-176 DOI: 10.2143/LEA.246.0.3286442 Abstract : 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. |
|
