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…

Papers overview

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

2016

In this paper we present two genuine three-valued paraconsistent logics, i.e. logics obeying neither \(p, \lnot p \vdash q\) nor…

2010

Measuring inconsistency degrees of inconsistent knowledge bases is an important problem as it provides context information for…

2010

2007

In this paper, we propose an approach to translating any ALC ontology (possible inconsistent) into a logically consistent set of…

2007

In this paper we examine, from an abstract point of view, a number of properties to be satisfied not only by formalisms for…

2005

Due to the Semantic Web's decentralised and distributed management, contradictory information is and will remain frequent…

2004

We introduce a uniform approach of representing a variety of paraconsistent nonmonotonic formalisms by quantified Boolean…

2002

1999

It is possible to apply machine learning, uncertainty management and paraconsistent logic concepts to the design of a…

1996

We address the issue of the syntactical assymetry of logic programs: can one allow default negated literals in the heads? This…