English   español  
Por favor, use este identificador para citar o enlazar a este item: http://hdl.handle.net/10261/138238
Compartir / Impacto:
Estadísticas
Add this article to your Mendeley library MendeleyBASE
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Título

On the logical formalization of possibilistic counterparts of states over n-valued Łukasiewicz events

AutorFlaminio, Tommaso; Godo, Lluis; Marchioni, Enrico
Palabras claveŁukasiewicz logic
MV-algebras
Possibilistic states
Generalized Sugeno integral
Fecha de publicación2011
EditorOxford University Press
CitaciónJournal of Logic and Computation 21: 429- 446 (2011)
ResumenPossibility 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.
URIhttp://hdl.handle.net/10261/138238
DOI10.1093/logcom/exp012
Identificadoresdoi: 10.1093/logcom/exp012
issn: 0955-792X
Aparece en las colecciones: (IIIA) Artículos
Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
JLC_21(3)2011_429-46.pdf272,93 kBAdobe PDFVista previa
Visualizar/Abrir
Mostrar el registro completo
 

Artículos relacionados:


NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.