Paraconsistentization and many-valued logics

Souza, Edélcio G. de; Costa-Leite, Alexandre; Dias, Diogo H. B.

doi:10.1093/jigpal/jzac071

Logic Journal of the IGPL

2022

DOI: 10.1093/jigpal/jzac071

|View full text |Cite

Paraconsistentization and many-valued logics

Edélcio 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 mainly the case of three-valued systems exhibiting how non-explosive three-valued logics can be obtained from them.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2024

Publication Types

Select...

Article1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Inferential Interpretations of Many-Valued Logics

Molick

2024

Logics

View full text Add to dashboard Cite

Non-Tarskian interpretations of many-valued logics have been widely explored in the logic literature. The development of non-tarskian conceptions of logical consequence set the theoretical foundations for rediscovering well-known (Tarskian) many-valued logics. One may find in distinct authors many novel interpretations of many-valued systems. They are produced through a type of procedure which consists in altering the semantic structure of Tarskian many-valued logics in order to output a non-Tarskian interpretation of these logics. Through this type of transformation the paper explores a uniform way of transforming finitely many-valued Tarskian logics into their non-Tarskian interpretation. Some general properties of carrying out this type of procedure are studied, namely the dualities between these logics and the conditions under which negation-explosive and negation-complete Tarskian logics become non-explosive.

show abstract

Inferential Interpretations of Many-Valued Logics

Molick

2024

Logics

View full text Add to dashboard Cite

show abstract

scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.

Contact Info

hi@scite.ai

10624 S. Eastern Ave., Ste. A-614

Henderson, NV 89052, USA

Blog Terms and Conditions API Terms Privacy Policy Contact Cookie Preferences Do Not Sell or Share My Personal Information

Made with 💙 for researchers

Part of the Research Solutions Family.

Paraconsistentization and many-valued logics

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.

Cited by 1 publication

References 24 publications

Inferential Interpretations of Many-Valued Logics

Inferential Interpretations of Many-Valued Logics

Contact Info

Product

Resources

About