Random variables on Boolean and Heyting algebras and their numerical characteristics
1. SummaryWe develop a theory of probability on Boolean and Heyting algebras. By [8], complete probability Heyting algebras and their complete products exist. Therefore we can talk about sequences of independent random variables on a complete Heyting algebra. We are able to define integral, expectation and variance for such random variables. The results can be used in physics, for example in S. Bellert's cosmology, as shown in [7] and [9]. Implications of probability theory on Boolean algebras in...