Paraconsistentization and many-valued logics
Edelcio G. de Souza, Alexandre Costa-Leite, Diogo H. B. Dias
TL;DR
This paper explores transforming explosive many-valued logics into paraconsistent logics, focusing on three-valued systems, to enable reasoning in inconsistent information without trivialization.
Contribution
It introduces a method to paraconsistentize many-valued logics, particularly three-valued systems, expanding their applicability in inconsistent contexts.
Findings
Paraconsistent three-valued logics can be derived from standard three-valued systems.
The transformation prevents trivialization in inconsistent logical systems.
The approach broadens the use of many-valued logics in real-world reasoning scenarios.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Algebra and Logic · Logic, Reasoning, and Knowledge · Computability, Logic, AI Algorithms