Possibilistic logic as an annotated logic

We study how to transform possibilistic logic extended with fuzzy constants and fuzzy quantifiers into the generalized annotated logic system proposed by Kifer and Subrahmanian (1992). Specifically, the valuation in a possibilistic clause generates the annotation which will be attached to the head of the annotated clause. We also show how the inference rules of possibilistic logic extended with fuzzy constants can be translated in terms of the mechanisms provided by this annotated logic.