Marković, Zoran; Ognjanović, Zoran; Rašković, Miodrag A probabilistic extension of intuitionistic logic. (English) Zbl 1022.03011 Math. Log. Q. 49, No. 4, 415-424 (2003). MSC: 03B48 03B25 68T37 PDF BibTeX XML Cite \textit{Z. Marković} et al., Math. Log. Q. 49, No. 4, 415--424 (2003; Zbl 1022.03011) Full Text: DOI
Marković, Zoran On the structure of Kripke models of Heyting arithmetic. (English) Zbl 0805.03050 Math. Log. Q. 39, No. 4, 531-538 (1993). MSC: 03F30 03F55 03C62 PDF BibTeX XML Cite \textit{Z. Marković}, Math. Log. Q. 39, No. 4, 531--538 (1993; Zbl 0805.03050) Full Text: DOI