De Finettiho věta a Borelovy stavy v [0,1]-hodnotové algebraické logice

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F07%3A00004737" target="_blank" >RIV/61989592:15310/07:00004737 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
De Finetti theorem and Borel states in [0,1]-valued algebraic logic
Popis výsledku v původním jazyce
De Finetti?s (no-Dutch-Book) criterion for coherent probability assignments is extended to large classes of logics and their algebras. Given a set $A$ of ?events? and a closed set $Wsubseteq [0,1]^A$ of ?possible worlds? we show that a map $s: A to [0,1]$ satisfies de Finetti?s criterion if and only if it has the form $s(a) = int_W V(a) dmu(V)$ for some probability measure $?$ on $W$. Our results are applicable to all logics whose connectives are continuous operations on $[0,1]$. We also extend de Finetti?s criterion to the noncommutative underlying logic of GMV-algebras.
Název v anglickém jazyce
De Finetti theorem and Borel states in [0,1]-valued algebraic logic
Popis výsledku anglicky
De Finetti?s (no-Dutch-Book) criterion for coherent probability assignments is extended to large classes of logics and their algebras. Given a set $A$ of ?events? and a closed set $Wsubseteq [0,1]^A$ of ?possible worlds? we show that a map $s: A to [0,1]$ satisfies de Finetti?s criterion if and only if it has the form $s(a) = int_W V(a) dmu(V)$ for some probability measure $?$ on $W$. Our results are applicable to all logics whose connectives are continuous operations on $[0,1]$. We also extend de Finetti?s criterion to the noncommutative underlying logic of GMV-algebras.

Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—

Rok uplatnění
2007
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)