Many-valued logics and plausible reasoning

The analysis of reasoning with inconsistent information is modeled by a formal metasystem, META, which is presented. Semantics for META is given in terms of possible translations into three-valued logics which are based on a notion of contextual negation. From the point of view of applications, it is shown that this analysis can provide better foundations for default reasoning.<
>