Measures, states and de Finetti maps on pseudo-BCK algebras (Q622056)

From MaRDI portal
Revision as of 01:28, 2 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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

    Identifiers