An intuitionistic logic with probabilistic operators. (English) Zbl 1048.03020
A sound and complete axiomatization of a probabilistic extension of propositional intuitionistic logic is given. Semantics of a probabilistic version of Kripke models are introduced. Completeness and decidability theorems are proved with respect to the suggested semantics.
Reviewer: Alex Nabebin (Moskva)