Paraconsistentization and many-valued logics
Edélcio G. de Souza, Alexandre Costa-Leite, Diogo H. B. Dias
Abstract
Edélcio G. de Souza, Alexandre Costa-Leite, Diogo H. B. Dias
Abstract
Abstract This paper shows how to transform explosive many-valued systems into paraconsistent logics. We investigate mainly the case of three-valued systems exhibiting how non-explosive three-valued logics can be obtained from them.
OpenAlex reports 3 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
Abstract This paper shows how to transform explosive many-valued systems into paraconsistent logics. We investigate mainly the case of three-valued systems exhibiting how non-explosive three-valued logics can be obtained from them.
Key concepts: Explosive material, T-norm fuzzy logics, Computer science, Paraconsistent logic, Mathematics, Algebra over a field, Pure mathematics, Theoretical computer science