Measures, states and de Finetti maps on pseudo-BCK algebras (Q622056): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 01:47, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Measures, states and de Finetti maps on pseudo-BCK algebras |
scientific article |
Statements
Measures, states and de Finetti maps on pseudo-BCK algebras (English)
0 references
31 January 2011
0 references
Pseudo BCK-algebra were introduced by Georgescu and Iorgulescu as a noncommutative generalization of BCK-algebras. States and measures on BCK algebras with a bottom element were introduced by the second author, generalizing the notion of MV-algebraic state. The paper under review is concerned with states and measures on pseudo-BCK algebras. Particular attention is given to Bosbach states, extremal states, and state-morphisms, with applications to unital lattice-ordered groups. In a final section, Bosbach states are shown to be related to de Finetti's coherence approach to probability. This is the pseudo-BCK algebraic generalization of the present reviewer's generalization of de Finetti's theorem, showing the MV-algebraic states generalize to continuous events the notion of coherent probability assessment. It follows that de Finetti's notion of coherence provides an axiomatic foundation for Kolmogorov probability on any compact Hausdorff space. This is so because 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 \(m(A)\) of \(A\). An integral representation theorem along the lines of the Kroupa-Panti theorem, is given for certain pseudo BCK-algebras in the final theorem of the present paper.
0 references
BCK-algebra
0 references
MV-algebra
0 references
Borel state
0 references
lattice-ordered group
0 references
de Finetti coherence
0 references
Bosbach state
0 references
extremal state
0 references