|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
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.