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). MSC: 03B48 03B20 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)
Rašković, Miodrag D.; Đorđević, Radosav S. Second-order probability logic. (English) Zbl 0829.03021 Math. Balk., New Ser. 6, No. 1, 105-108 (1992). MSC: 03C80 03B48 PDF BibTeX XML Cite \textit{M. D. Rašković} and \textit{R. S. Đorđević}, Math. Balk., New Ser. 6, No. 1, 105--108 (1992; Zbl 0829.03021)
Rašković, Miodrag; Đorđević, Radosav S. Finite compactness theorem for biprobability logics. (English) Zbl 0749.03008 Math. Balk., New Ser. 5, No. 1, 12-14 (1991). MSC: 03B48 03C80 PDF BibTeX XML Cite \textit{M. Rašković} and \textit{R. S. Đorđević}, Math. Balk., New Ser. 5, No. 1, 12--14 (1991; Zbl 0749.03008)