The measure extension theorem for subadditive probability measures in orthomodular -continuous lattices
Beloslav Riečan (1979)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Beloslav Riečan (1979)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
J. Łoś (1955)
Colloquium Mathematicae
Similarity:
Václav Alda (1981)
Aplikace matematiky
Similarity:
Bo Zhang, Hiroshi Yamazaki, Yatsuka Nakamura (2006)
Formalized Mathematics
Similarity:
In this article, we first discuss the relation between measure defined using extended real numbers and probability defined using real numbers. Further, we define completeness of probability, and its completion method, and also show that they coincide with those of measure.