# Deriving information from inconsistent knowledge bases: A completeness proof for $^\eta\rhd_\eta$"

Paris, Jeff (2004) Deriving information from inconsistent knowledge bases: A completeness proof for $^\eta\rhd_\eta$". Logic Journal of IGPL, 12 (5). pp. 345-353. ISSN 1367-0751

## Abstract

The logical consequence relations {eta}{triangleright}{eta} provide a very attractive way of inferring new facts from inconsistent knowledge bases without compromising standards of credibility. In this short note we provide proof theories and completeness theorems for these consequence relations which may have some applicability in small examples.

Item Type: Article Logic, Inconsistency, Probability Logic, Paraconsistent Logics MSC 2010, the AMS's Mathematics Subject Classification > 03 Mathematical logic and foundations Ms Lucy van Russelt 29 Mar 2007 20 Oct 2017 14:12 http://eprints.maths.manchester.ac.uk/id/eprint/732