Convex MV-algebras : many-valued logics meet decision theory

Flaminio, T.; Hosni, H.; Lapenta, S.

doi:10.1007/s11225-016-9705-9

IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Milano.

AIR nasce in UNIMI nel 2006 con lo scopo di raccogliere, documentare e conservare le informazioni sulla produzione scientifica dell'Università degli Studi di Milano e costituisce di fatto l'Anagrafe della ricerca dell'Ateneo.

This paper introduces a logical analysis of convex combinations within the framework of Łukasiewicz real-valued logic. This provides a natural link between the fields of many-valued logics and decision theory under uncertainty, where the notion of convexity plays a central role. We set out to explore such a link by defining convex operators on MV-algebras, which are the equivalent algebraic semantics of Łukasiewicz logic. This gives us a formal language to reason about the expected value of bounded random variables. As an illustration of the applicability of our framework we present a logical version of the Anscombe–Aumann representation result.

Convex MV-algebras : many-valued logics meet decision theory / T. Flaminio, H. Hosni, S. Lapenta. - In: STUDIA LOGICA. - ISSN 0039-3215. - 106:5(2018 Oct), pp. 913-945.

Titolo:	Convex MV-algebras : many-valued logics meet decision theory
Autori:	T. Flaminio (Corresponding) HOSNI, HYKEL S. Lapenta mostra contributor esterni nascondi contributor esterni
Parole Chiave:	MV-algebras; convexity; uncertainty measures; Anscombe–Aumann
Settore Scientifico Disciplinare:	Settore M-FIL/02 - Logica e Filosofia della Scienza Settore MAT/01 - Logica Matematica
Data di pubblicazione:	ott-2018
Rivista:	STUDIA LOGICA
Tipologia:	Article (author)
Data ahead of print / Data di stampa:	23-feb-2017
Digital Object Identifier (DOI):	http://dx.doi.org/10.1007/s11225-016-9705-9
Appare nelle tipologie:	01 - Articolo su periodico

File in questo prodotto:

File	Descrizione	Tipologia	Licenza
10.1007_s11225-016-9705-9.pdf		Publisher's version/PDF		Administrator Richiedi una copia
Flaminio2018_Article_ConvexMV-AlgebrasMany-ValuedLo.pdf		Publisher's version/PDF		Administrator Richiedi una copia

Pubblicazioni consigliate

Loading suggested articles...

Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/2434/503017

Citazioni

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.