A probabilistic extension of intuitionistic logic

Zoran Markovic, Zoran Ognjanovic, Miodrag Raskovic. A probabilistic extension of intuitionistic logic. Math. Log. Q., 49(4):415-424, 2003. [doi]

Abstract

Abstract is missing.