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.
2006
2006
Axioms for classical, intuitionistic, and paraconsistent hybrid logic
In this paper we give axiom systems for classical and intuitionistic hybrid logic. Our axiom systems can be extended with… 
2005
2005
Possible-translations algebraization for paraconsistent logics
This note proposes a new notion of algebraizability, which we call possibletranslations algebraic semantics, based upon the newly… 
2005
2005
Representing Paraconsistent Reasoning via Quantified Propositional Logic
Quantified propositional logic is an extension of classical propositional logic where quantifications over atomic formulas are… 
Review
2005
Review
2005
Autoepistemic Theory and Paraconsistent Logic Program
We clarify the relation between autoepistemic theories and a paraconsistent logic program called Vector Annotated Logic Program… 
2002
2002
Are Paraconsistent Negations Negations
1997
1997
Bilattices and Paraconsistency
Bilattices are algebraic structures that were introduced by Ginsberg, and further examined by Fitting, as a general framework for… 
1995
1995
A Model Theory for Paraconsistent Logic Programming
We provide a nine-valued logic to characterize the models of logic programs under a paraconsistent well-founded semantics with… 
1992
1992
On paraconsistent set theories
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… 
1989
1989
Paraconsistency and the ℂ-Systems of da Costa
  • Igor Urbas
  • Notre Dame J. Formal Log.
  • 1989
  • Corpus ID: 45577944
Two extensions of the C-systems of da Costa are considered, and both are shown to collapse all but the base system C ω into… 
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)