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 |
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