Marković, Zoran; Ognjanović, Zoran; Rašković, Miodrag An intuitionistic logic with probabilistic operators. (English) Zbl 1048.03020 Publ. Inst. Math., Nouv. Sér. 73(87), 31-38 (2003). Reviewer: Alex Nabebin (Moskva) MSC: 03B48 03C80 PDF BibTeX XML Cite \textit{Z. Marković} et al., Publ. Inst. Math., Nouv. Sér. 73(87), 31--38 (2003; Zbl 1048.03020) Full Text: DOI EuDML
Boričić, Branislav Validity measurement in some propositional logics. (English) Zbl 0884.03018 Math. Log. Q. 43, No. 4, 550-558 (1997). Reviewer: H.E.Kyburg (Rochester) MSC: 03B48 03B20 03B55 03B60 03B52 03C80 PDF BibTeX XML Cite \textit{B. Boričić}, Math. Log. Q. 43, No. 4, 550--558 (1997; Zbl 0884.03018) Full Text: DOI
Rašković, Miodrag; Djordjević, Radosav Probability quantifiers and operators. (English) Zbl 0933.03044 Series in Pure and Applied Mathematics. Belgrade: Vesta Company. iv, 121 p. (1996). Reviewer: H.E.Kyburg (Rochester) MSC: 03C80 03B48 03H05 60A10 28E05 60B05 60A05 PDF BibTeX XML Cite \textit{M. Rašković} and \textit{R. Djordjević}, Probability quantifiers and operators. Belgrade: Vesta Company (1996; Zbl 0933.03044)
Boričić, Branislav A note on probabilistic validity measure in propositional calculi. (English) Zbl 0841.03021 J. IGPL 3, No. 5, 721-724 (1995). Reviewer: R.Wallace Garden (Thames) MSC: 03C80 03B48 03B55 03B20 PDF BibTeX XML Cite \textit{B. Boričić}, J. IGPL 3, No. 5, 721--724 (1995; Zbl 0841.03021)
van Lambalgen, Michiel On Bernays’ Platonism and the axiom of choice. (English) Zbl 0784.03031 Jahrbuch 1991 der Kurt-Gödel-Gesellschaft. Wien: Kurt-Gödel- Gesellschaft, 65-75 (1993). MSC: 03E65 03E25 60A05 03E60 03F50 03C80 03E35 PDF BibTeX XML Cite \textit{M. van Lambalgen}, in: Jahrbuch 1991 der Kurt-Gödel-Gesellschaft. Wien: Kurt-Gödel-Gesellschaft. 65--75 (1993; Zbl 0784.03031)
van Lambalgen, Michiel Independence, randomness and the axiom of choice. (English) Zbl 0781.03042 J. Symb. Log. 57, No. 4, 1274-1304 (1992). Reviewer: S.Gottwald (Leipzig) MSC: 03E65 03E25 60A05 03E60 03F50 03C80 03E35 PDF BibTeX XML Cite \textit{M. van Lambalgen}, J. Symb. Log. 57, No. 4, 1274--1304 (1992; Zbl 0781.03042) Full Text: DOI