Inspired by Rota's Fubini Lectures, we present the MV-algebraic extensions of various results in probability theory, first proved for boolean algebras by De Finetti, Kolmogorov, Carathéodory, Loomis, Sikorski and others. MV-algebras stand to Łukasiewicz infinite-valued logic as boolean algebras stand to boolean logic. Using Elliott's classification, the correspondence between countable boolean algebras and commutative AF C-algebras extends to a correspondence between countable MV-algebras and AF C-algebras whose Murray-von Neumann order of projections is a lattice. In this way, (faithful, invariant) MV-algebraic states are identified with (faithful, invariant) tracial states of their corresponding AF C-algebras. Faithful invariant states exist in all finitely presented MV-algebras. At the other extreme, working in the context of σ-complete MV-algebras we present a generalization of Carathéodory boolean algebraic probability theory.

Rota, probability, algebra and logic / D.Mundici. - STAMPA. - (2009), pp. 167-181. [10.1007/978-0-387-88753-1_9]

Rota, probability, algebra and logic

MUNDICI, DANIELE
2009

Abstract

Inspired by Rota's Fubini Lectures, we present the MV-algebraic extensions of various results in probability theory, first proved for boolean algebras by De Finetti, Kolmogorov, Carathéodory, Loomis, Sikorski and others. MV-algebras stand to Łukasiewicz infinite-valued logic as boolean algebras stand to boolean logic. Using Elliott's classification, the correspondence between countable boolean algebras and commutative AF C-algebras extends to a correspondence between countable MV-algebras and AF C-algebras whose Murray-von Neumann order of projections is a lattice. In this way, (faithful, invariant) MV-algebraic states are identified with (faithful, invariant) tracial states of their corresponding AF C-algebras. Faithful invariant states exist in all finitely presented MV-algebras. At the other extreme, working in the context of σ-complete MV-algebras we present a generalization of Carathéodory boolean algebraic probability theory.
From combinatorics to philosophy
167
181
D.Mundici
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2158/372460
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact