Boričić, Branislav; Rašković, Miodrag A probabilistic validity measure in intuitionistic propositional logic. (English) Zbl 1040.03509 Math. Balk., New Ser. 10, No. 4, 365-372 (1996). Summary: An extension of the Heyting propositional logic obtained by adding some probability measure axioms is considered. The corresponding Kripke-type and algebraic models are described. MSC: 03B48 Probability and inductive logic 03B20 Subsystems of classical logic (including intuitionistic logic) Keywords:extension of Heyting propositional logic; probability measure PDF BibTeX XML Cite \textit{B. Boričić} and \textit{M. Rašković}, Math. Balk., New Ser. 10, No. 4, 365--372 (1996; Zbl 1040.03509)