Marković, Z. Modification of TOPSIS method for solving of multicriteria tasks. (English) Zbl 1299.90201 Yugosl. J. Oper. Res. 20, No. 1, 117-143 (2010). MSC: 90B50 PDF BibTeX XML Cite \textit{Z. Marković}, Yugosl. J. Oper. Res. 20, No. 1, 117--143 (2010; Zbl 1299.90201) Full Text: DOI
Marković, Zoran Intuitionistic and classical satisfiability in Kripke models. (English) Zbl 1014.03015 Facta Univ., Ser. Math. Inf. 13, 1-5 (1998). Reviewer: Branislav Boričić (Beograd) MSC: 03B20 03C90 03B55 03F55 PDF BibTeX XML Cite \textit{Z. Marković}, Facta Univ., Ser. Math. Inf. 13, 1--5 (1998; Zbl 1014.03015)
Marković, Zoran Intuitionistic and classical satisfiability in Kripke models. (English) Zbl 1002.03009 Facta Univ., Ser. Math. Inf. 13, 1-5 (1998). Reviewer: Zoran Petrić (Beograd) MSC: 03B20 03C90 03C25 PDF BibTeX XML Cite \textit{Z. Marković}, Facta Univ., Ser. Math. Inf. 13, 1--5 (1998; Zbl 1002.03009)
Marković, Zoran Omitting types in Kripke models. (English) Zbl 0843.03021 Filomat 9, No. 3, 803-807 (1995). MSC: 03C90 03B20 PDF BibTeX XML Cite \textit{Z. Marković}, Filomat 9, No. 3, 803--807 (1995; Zbl 0843.03021)
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
Marković, Zoran Kripke models for intuitionistic theories with decidable atomic formulas. (English) Zbl 0595.03037 Publ. Inst. Math., Nouv. Sér. 36(50), 3-7 (1984). MSC: 03C90 03B60 PDF BibTeX XML Cite \textit{Z. Marković}, Publ. Inst. Math., Nouv. Sér. 36(50), 3--7 (1984; Zbl 0595.03037) Full Text: EuDML
Marković, Zoran On reduced products of Kripke models. (English) Zbl 0595.03036 Publ. Inst. Math., Nouv. Sér. 34(48), 117-120 (1983). Reviewer: O.Sonobe MSC: 03C90 03B60 PDF BibTeX XML Cite \textit{Z. Marković}, Publ. Inst. Math., Nouv. Sér. 34(48), 117--120 (1983; Zbl 0595.03036) Full Text: EuDML
Markovic, Zoran Some preservation results for classical and intuitionistic satisfiability in Kripke models. (English) Zbl 0487.03015 Notre Dame J. Formal Logic 24, 395-398 (1983). MSC: 03C25 03F55 PDF BibTeX XML Cite \textit{Z. Markovic}, Notre Dame J. Formal Logic 24, 395--398 (1983; Zbl 0487.03015) Full Text: DOI
Markovic, Zoran On axiomatizability and preservation in Kripke models. (English) Zbl 0497.03028 Publ. Inst. Math., Nouv. Sér. 30(44), 111-112 (1981). MSC: 03C90 PDF BibTeX XML Cite \textit{Z. Markovic}, Publ. Inst. Math., Nouv. Sér. 30(44), 111--112 (1981; Zbl 0497.03028) Full Text: EuDML
Markovic, Zoran An intuitionistic omitting types theorem. (English) Zbl 0442.03027 Publ. Inst. Math., Nouv. Sér. 26(40), 167-169 (1979). MSC: 03C99 PDF BibTeX XML Cite \textit{Z. Markovic}, Publ. Inst. Math., Nouv. Sér. 26(40), 167--169 (1979; Zbl 0442.03027) Full Text: EuDML
Markovic, Zoran Reduced products of saturated intuitionistic theories. (English) Zbl 0367.02009 Publ. Inst. Math., Nouv. Sér. 21(35), 131-133 (1977). MSC: 03B55 03F55 03C99 PDF BibTeX XML Cite \textit{Z. Markovic}, Publ. Inst. Math., Nouv. Sér. 21(35), 131--133 (1977; Zbl 0367.02009) Full Text: EuDML