On the Logical Formalization of Possibilistic Counterparts of States over n-valued Lukasiewicz Events
Possibility and necessity measures are commonly defined over Boolean algebras. This work considers a generalization of these kinds of measures over MV-algebras as a possibilistic counterpart of the (probabilistic) notion of state on MV-algebras. Two classes of possibilistic states over MV-algebras of functions are characterized in terms of (generalized) Sugeno integrals. For reasoning about these representable classes of possibilistic states, we introduce many-valued modal logics based on the Rational Lukasiewicz Logic, that are shown to be complete with respect to corresponding classes of Kripke models equipped with those states.
mv-algebras possibilistic states lukasiewicz logic generalized sugeno integral