An Intuitionistic Logic with Probabilistic Operators


Zoran Marković, Zoran Ognjanović, Miodrag Rašković


A probabilistic extension of intuitionistic logic is introduced. The corresponding completeness and decidability theorems are proven.