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

PDF Deriving_Information.pdf Restricted to Registered users only Download (254kB)

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 2010, the AMS's Mathematics Subject Classification > 03 Mathematical logic and foundations
Depositing User:	Ms Lucy van Russelt
Date Deposited:	29 Mar 2007
Last Modified:	20 Oct 2017 14:12
URI:	https://eprints.maths.manchester.ac.uk/id/eprint/732

Actions (login required)

View Item