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 Reader
249 Kb

DOI: 10.1093/jigpal/12.5.345

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
Uncontrolled Keywords:Logic, Inconsistency, Probability Logic, Paraconsistent Logics
Subjects:MSC 2000 > 03 Mathematical logic and foundations
MIMS number:2007.36
Deposited By:Miss Louise Stait
Deposited On:29 March 2007

Download Statistics: last 4 weeks
Repository Staff Only: edit this item