You are here: MIMS > EPrints
MIMS EPrints

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

2007.36: Jeff Paris (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

Full text available as:

 PDF - Registered users only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader249 Kb

## 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 2000 > 03 Mathematical logic and foundations 2007.36 Miss Louise Stait 29 March 2007