A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is… (More)

Semantic Scholar uses AI to extract papers important to this topic.

2017

2017

- Melvin Fitting
- Studia Logica
- 2017

In a forthcoming paper, Walter Carnielli and Abilio Rodriguez propose a Basic Logic of Evidence (BLE) whose natural deduction… (More)

Is this relevant?

2014

2014

- Diana Grooters, Henry Prakken
- COMMA
- 2014

One tradition in the logical study of argumentation is to allow for arguments that combine strict and defeasible inference rules… (More)

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

- Maarten McKubre-Jordens, Zach Weber
- J. Philosophical Logic
- 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

- Ofer Arieli, Arnon Avron, Anna Zamansky
- Studia Logica
- 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

- João Inácio da Silva Filho, Germano Lambert-Torres, Jair Minoro Abe
- Frontiers in Artificial Intelligence and…
- 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

- Yue Ma, Pascal Hitzler, Zuoquan Lin
- ESWC
- 2007

In an open, constantly changing and collaborative environment like the forthcoming Semantic Web, it is reasonable to expect that… (More)

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)

Is this relevant?

2005

2005

- Jean-Yves Béziau
- J. Applied Logic
- 2005

In this paper we study paraconsistent negation as a modal operator, considering the fact classical negation of necessity has a… (More)

Is this relevant?

1995

1995

- Carlos Viegas Damásio, Luís Moniz Pereira
- EPIA
- 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?