Measures, states and de Finetti maps on pseudo-BCK algebras (Q622056): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
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
Normal 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

    Identifiers