On the acceptance of problem solutions derived from inconsistent constraints
Joke Meheus · Logic and Logical Philosophy · 2004
In this paper, I discuss the main difficulties one encounters when solving problems with inconsistent constraints. I argue that in order to meet these difficulties we need an inconsistency-adaptive logic that enables one to derive as many (interesting) consequences as possible, but that at the same time allows one to determine which consequences can be accepted. I show that the inconsistency-adaptive logic ANA satisfies these requirements.