Deriving information from inconsistent knowledge bases: A completeness proof for $^\eta\rhd_\eta$"
Jeffrey Bruce Paris · MIMS EPrints (University of Southampton) · 2004
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.