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

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.