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.