nLab probability valuation

Contents

Contents

Definition

In measure theory, a probability valuation on a lattice (L,,,,,)(L, \leq, \bot, \vee, \top, \wedge) is a monotonic function μ:L[0,1]\mu:L \to [0, 1] such that μ()=0\mu(\bot) = 0, μ()=1\mu(\top) = 1, and the modularity condition is satisfied: for all elements a,bLa, b \in L,

μ(a)+μ(b)=μ(ab)+μ(ab)\mu(a) + \mu(b) = \mu(a \wedge b) + \mu(a \vee b)

See also

References

Created on May 4, 2022 at 00:08:41. See the history of this page for a list of all contributions to it.