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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1979-2017
020406019792017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
In a forthcoming paper, Walter Carnielli and Abilio Rodriguez propose a Basic Logic of Evidence (BLE) whose natural deduction… (More)
  • table 1
  • table 2
Is this relevant?
2014
2014
One tradition in the logical study of argumentation is to allow for arguments that combine strict and defeasible inference rules… (More)
  • figure 1
Is this relevant?
2014
2014
We start by recalling the definition of contradiction from the perspective of the square of opposition, emphasizing that it comes… (More)
Is this relevant?
2012
2012
This paper begins an analysis of the real line using an inconsistencytolerant (paraconsistent) logic. We show that basic field… (More)
Is this relevant?
2011
2011
We define in precise terms the basic properties that an ‘ideal propositional paraconsistent logic’ is expected to have, and… (More)
Is this relevant?
2010
2010
Give us 5 minutes and we will show you the best book to read today. This is it, the uncertainty treatment using paraconsistent… (More)
Is this relevant?
Highly Cited
2007
Highly Cited
2007
In an open, constantly changing and collaborative environment like the forthcoming Semantic Web, it is reasonable to expect that… (More)
  • table 1
  • table 3
  • table 4
  • table 5
  • table 6
Is this relevant?
Highly Cited
2005
Highly Cited
2005
A neutrosophic set is a part of neutrosophy that studies the origin, nature, and scope of neutralities, as well as their… (More)
  • figure 2.1
  • figure 2.2
  • table 3.1
  • table 3.2
  • figure 3.1
Is this relevant?
2005
2005
In this paper we study paraconsistent negation as a modal operator, considering the fact classical negation of necessity has a… (More)
  • table 1
  • table 4
  • table 6
Is this relevant?
1995
1995
We provide a nine-valued logic to characterize the models of logic programs under a paraconsistent well-founded semantics with… (More)
Is this relevant?