Measures, states and de Finetti maps on pseudo-BCK algebras (Q622056): Difference between revisions
From MaRDI portal
Changed an Item |
Normalize DOI. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / DOI | |||
Property / DOI: 10.1016/j.fss.2010.03.017 / rank | |||
Property / cites work | |||
Property / cites work: Semi-simple and complete MV-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic foundations of many-valued reasoning / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3605344 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3620498 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3574872 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4317872 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4719115 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: States on pseudo MV-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Every linear pseudo BL-algebra admits a state / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4256068 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5489643 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2762622 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Probabilistic averaging in bounded commutative residuated \(\ell\)-monoids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Probabilistic averaging in bounded \(R\ell\)-monoids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3421448 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebras in the positive cone of po-groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bosbach states on fuzzy structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2752146 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3717102 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3508717 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4654987 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5692877 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5190972 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An algebra related with a propositional calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Every state on semisimple MV-algebra is integral / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Representable pseudo-BCK-algebras and integral residuated lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: De Finetti theorem and Borel states in \([0, 1]\)-valued algebraic logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4324470 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Averaging the truth-value in Łukasiewicz logic / rank | |||
Normal rank | |||
Property / DOI | |||
Property / DOI: 10.1016/J.FSS.2010.03.017 / rank | |||
Normal rank |
Latest revision as of 22:31, 9 December 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