this issue
previous article in this issuenext 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.

Download article