Skip to search formSkip to main contentSkip to account menu

Paraconsistent logic

Known as: Brazilian logic, Paraconsistency, Paraconsistent 
A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is… 
Wikipedia (opens in a new tab)

Related topics

Related topics

25 relations
Artificial intelligenceComputer scientistDe Morgan's lawsDeontic logic

Broader (1)

Belief revision

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2019
Highly Cited
2019
A Hierarchy of Classical and Paraconsistent Logics
In this article, we will present a number of technical results concerning Classical Logic, S T and related systems. Our main… 
2015
2015
Three-Valued Paraconsistent Propositional Logics
Three-valued matrices provide the simplest semantic framework for introducing paraconsistent logics. This paper is a… 
Highly Cited
2007
Highly Cited
2007
On Ignorance and Contradiction Considered as Truth-Values
A critical view of the alleged significance of Belnap four-valued logic for reasoning under inconsistent and incomplete… 
Highly Cited
2003
Highly Cited
2003
Algebraic Semantics for Paraconsistent Nelson's Logic
In the present article, different types of semantics for the logic N4, the paraconsistent variant of Nelson’s constructive logic… 
2002
2002
Paraconsistent Logic Programs
We propose a framework which extends Antitonic Logic Programs [2] to an arbitrary complete bilattice of truth-values, where… 
Highly Cited
2000
Highly Cited
2000
Frontiers of Paraconsistent Logic
Interestingly, frontiers of paraconsistent logic that you really wait for now is coming. It's significant to wait for the… 
Highly Cited
2000
Highly Cited
2000
Partiality and Its Dual
This paper explores allowing truth value assignments to be undetermined or "partial" (no truth values) and overdetermined or… 
1999
1999
Yes, Virginia, there Really are Paraconsistent Logics
B. H. Slater has argued that there cannot be any truly paraconsistent logics, because it's always more plausible to suppose… 
Highly Cited
1995
Highly Cited
1995
Aspects of Paraconsistent Logic
???? the abstract ???? 
1991
1991
Reasoning in Paraconsistent Logics
Databases and knowledge bases could be inconsistent in many ways. For example, if a programmer is constructing an expert system… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)