On the logical formalization of possibilistic counterparts of states over n-valued Łukasiewicz 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 o...
| Autores: | , , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión aceptada para publicación |
| Fecha de publicación: | 2011 |
| País: | España |
| Institución: | Consejo Superior de Investigaciones Científicas (CSIC) |
| Repositorio: | DIGITAL.CSIC. Repositorio Institucional del CSIC |
| OAI Identifier: | oai:digital.csic.es:10261/138238 |
| Acceso en línea: | http://hdl.handle.net/10261/138238 |
| Access Level: | acceso abierto |
| Palabra clave: | Łukasiewicz logic MV-algebras Possibilistic states Generalized sugeno integral |
| Sumario: | 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 Łukasiewicz Logic, that are shown to be complete with respect to corresponding classes of Kripke models equipped with those states. © The Author, 2009. Published by Oxford University Press. All rights reserved. |
|---|