A Boolean-valued probability theory

New foundations for probability theory are suggested and investigated, derived from the formalized systems theory and using also some other branches of mathematical logic. The probability measures are supposed to take their values not in the unit interval of reals, but in a special kind of Boolean algebras. Some analogies as well as differences of this approach with respect to the classical Kolmogorov probability theory are investigated.