Measure-free conditioning and extensions of additive measures on finite MV-algebras
type: Item
instance of: scholarly article
title: Measure-free conditioning and extensions of additive measures on finite MV-algebras
zbMATH Open document ID: 1226.06008
author: S. Weber
published in: Fuzzy Sets and Systems
publication date: 2011-01-31T00:00:00Z
review text: As was shown by several chapters of the second volume of [\textit{E. Pap} (ed.), Handbook of measure theory. Amsterdam: North-Holland (2002; Zbl 0998.28001)], MV-algebraic measure theory has reached a mature stage. Most of Carathéodory's Boolean algebraic probability theory can be extended to MV-algebras. Generalizing a celebrated result of de Finetti, the present reviewer has shown that MV-algebraic states generalize to continuous events the notion of coherent probability assessment. Further, the Kroupa-Panti theorem shows that the (finitely additive) states on any MV-algebra \(A\) are in one-one correspondence with the regular (countably additive) Borel measures on the maximal spectral space of \(A\). For recent developments on MV-algebraic measure theory, see the present reviewer's book [Advanced Łukasiewicz calculus and MV-algebras. Trends in Logic -- Studia Logica Library 35. Berlin: Springer (2011; Zbl 1235.03002)]. The paper under review deals with algebras of conditional events and their measures. Given a Boolean algebra \(B\) of events, the conditional event ``\(a\) given \(b\)'' can be defined as the interval \(|a\,\&\,b,b\to a|\) in \(B\). The set of conditional events then turns out to be naturally equipped with the structure of an MV-algebra \(B'\). Any state of \(B\) can be extended to an operation on \(B'\) having some sort of additivity property. More generally, when the set of events forms an MV-algebra \(M\), one can similarly construct an enveloping algebra \(M'\) of conditionals events having the structure of a commutative residuated lattice-ordered involutive monoid, and called ``Girard algebra'' in the present paper. For \(M\) a finite MV-algebra, the author investigates the extendability of each state of \(M\) to an operation on \(M'\) satisfying suitable additivity properties.
reviewed by: Daniele Mundici
Mathematics Subject Classification ID: 06D35
Mathematics Subject Classification ID: 28E10
zbMATH DE Number: 5843027
zbMATH Keywords: measure-free conditioning
zbMATH Keywords: conditional event
zbMATH Keywords: finite MV-algebra
zbMATH Keywords: Girard algebra
zbMATH Keywords: canonical extension
zbMATH Keywords: additive measure
zbMATH Keywords: state
zbMATH Keywords: convex combination of measures
MaRDI profile type: Publication
full work available at URL: j.fss.2010.04.011
OpenAlex ID: W2018763781
cites work: Algebraic Analysis of Many Valued Logics
cites work: Algebraic foundations of many-valued reasoning
cites work: Q4944950
cites work: Q2762622
cites work: Q3222191
cites work: Q4836218
cites work: Q4836221
cites work: Q4369814
cites work: On conditioning operators
cites work: The axioms and algebra of intuitive probability
cites work: Conditional probability on MV-algebras
cites work: Every state on semisimple MV-algebra is integral
cites work: Q3770539
cites work: Logic of infinite quantum systems
cites work: Averaging the truth-value in Łukasiewicz logic
cites work: Q4788820
cites work: Q4372533
cites work: Q3996704
cites work: Q3855183
cites work: Uncertainty measures, decomposability and admissibility
cites work: Conditioning on MV-algebras and additive measures. I
cites work: Q4944951
cites work: Uncertainty measures -- problems concerning additivity
cites work: A complete characterization of all weakly additive measures and of all valuations on the canonical extension of any finite MV-chain
cites work: Quantales and (noncommutative) linear logic
DOI: 10.1016/J.FSS.2010.04.011
Recommended article: Q4944951
Recommended article: Q3157533
Recommended article: On conditioning operators
Recommended article: Q4680316
Recommended article: Metric Completions of MV-algebras with States: An Approach to Stochastic Independence
Recommended article: Q4788820
Recommended article: Canonical extension of possibility measures to Boolean algebras of conditionals
Recommended article: Conditional probability on MV-algebras
Recommended article: Q5389289
description: scientific article; zbMATH DE number 5843027