Showing 1–4 of 4 results for author: Costa-Leite, A

Paraconsistentization and many-valued logics

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

Abstract: 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 three-valued logics can be obtained from them. 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 three-valued logics can be obtained from them. △ Less

Submitted 11 July, 2022; v1 submitted 28 April, 2020; originally announced April 2020.

Paradeduction in Axiomatic Formal Systems

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

Abstract: 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, paradeduction is used to show that there is a way to transform any logic, introduced as an axiomatic formal system, into a paraconsistent one. 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, paradeduction is used to show that there is a way to transform any logic, introduced as an axiomatic formal system, into a paraconsistent one. △ Less

Submitted 12 July, 2022; v1 submitted 3 October, 2017; originally announced October 2017.

On a paraconsistentization functor in the category of consequence structures

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

Abstract: This paper is an attempt to solve the following problem: given a logic, how to turn it into a paraconsistent one? In other words, given a logic in which \emph{ex falso quodlibet} holds, how to convert it into a logic not satisfying this principle? We use a framework provided by category theory in order to define a category of consequence structures. Then, we propose a functor to transform a logic… ▽ More This paper is an attempt to solve the following problem: given a logic, how to turn it into a paraconsistent one? In other words, given a logic in which \emph{ex falso quodlibet} holds, how to convert it into a logic not satisfying this principle? We use a framework provided by category theory in order to define a category of consequence structures. Then, we propose a functor to transform a logic not able to deal with contradictions into a paraconsistent one. Moreover, we study the case of paraconsistentization of propositional classical logic. △ Less

Submitted 9 June, 2016; v1 submitted 14 April, 2016; originally announced April 2016.

Comments: This new version includes corrections and a change in the order of propositions

Oppositions in a line segment

Authors: Alexandre Costa-Leite

Abstract: Traditional oppositions are at least two-dimensional in the sense that they are built based on a famous bidimensional object called square of oppositions and on one of its extensions such as Blanché's hexagon. Instead of two-dimensional objects, this article proposes a construction to deal with oppositions in a one-dimensional line segment. Traditional oppositions are at least two-dimensional in the sense that they are built based on a famous bidimensional object called square of oppositions and on one of its extensions such as Blanché's hexagon. Instead of two-dimensional objects, this article proposes a construction to deal with oppositions in a one-dimensional line segment. △ Less

Submitted 5 April, 2019; v1 submitted 11 April, 2016; originally announced April 2016.

Comments: This is the version accepted for publication (South American Journal of Logic, 2018)