Paraconsistentization and many-valued logics

2020/04/28 by Edélcio G. de Souza, de Souza, Edelcio G., Alexandre Costa-Leite +3
Computer Science · #Advanced Algebra and Logic #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge

paper · pdf · doi:10.48550/arxiv.2004.14881

openalex publication_date 2020/04/28 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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.

Related

• Paraconsistency and Topological Semantics
• K3, L3, LP, RM3, A3, FDE: How to Make Many-Valued Logics Work for You
• Multiple-valued Logics
• Undefinability of Standard sequent calculi for Paraconsistent three-valued logics
• Multialgebras and Non-Deterministic Semantics applied to Paraconsistent Logics