Preferences as inconsistency-resolvers: The Inconsistency-adaptive Logic PRL
Guido Vanackere · Logic and Logical Philosophy · 2004
In this paper I generalize the new approach to nonmonotonic reasoning that was presented in [6]. This generalization results in the inconsistency-adaptive logic PRL (PR stands for preference-based reliability strategy). I give proof theory, semantics, mention interesting properties, and comment on the reconstruction and amelioration of other nonmonotonic logics and mechanisms.