On the Relationship Between Qualitative Choice Logic and Possibilistic Logic

Qualitative choice logic (QCL) is a propositional logic for representing prioritized alternatives. The logic adds to classical propositional logic a new connective called ordered disjunction: A~×B intuitively means: if possible A, but if A is not possible then at least B. QCL inference is obtained by defining a preference relation between interpretations of a propositional language. This paper shows that when this preference relation is total, then it is possible to encode QCL in the framework of possibilistic logic, and conversely.