兹沃尼米尔·西基奇 关于数学中的定义。 (英语) Zbl 1513.03028号 出版物。Inst.数学。,努夫。Sér。 112(126), 41-52 (2022).MSC公司:03B10号机组 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Sikić},出版物。Inst.数学。,努夫。Sér。112(126),41-52(2022;兹bl 1513.03028) 全文: DOI程序
佐兰·奥格尼亚诺维奇;阿列克桑达尔·佩罗维奇;伊里奇-斯蒂皮奇,安吉丽娜 逻辑ILP的表。 (英语) Zbl 1513.03030号 出版物。Inst.数学。,努夫。Sér。 112(126), 1-11 (2022).MSC公司:03B20型 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ognjanović}等人,出版物。Inst.数学。,努夫。Sér。112(126),1-11(2022;兹bl 1513.03030) 全文: DOI程序
米克洛斯·费伦齐 超有限逻辑和布尔代数的非标准扩张。 (英语) Zbl 1488.03073号 出版物。Inst.数学。,努夫。Sér。 107(121), 53-61 (2020).MSC公司:05年3月 03C75号 06E25年 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{M.Ferenczi},出版物。Inst.数学。,努夫。Sér。107(121),53-61(2020;Zbl 1488.03073) 全文: DOI程序
马里亚·博里奇奇 概率逻辑的推理规则。 (英语) Zbl 1474.03078号 出版物。Inst.数学。,努夫。Sér。 100(114), 77-86 (2016).MSC公司:03B48号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{M.Borić},出版物。Inst.数学。,努夫。Sér。100(114),77--86(2016;Zbl 1474.03078) 全文: DOI程序 EMIS公司
IlićStepić,安吉丽娜;佐兰·奥格尼亚诺维奇 复值概率逻辑。 (英语) Zbl 1474.03079号 出版物。Inst.数学。,努夫。Sér。 95(109), 73-86 (2014).MSC公司:03B48号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{A.IlićStepić}和\textit{Z.Ognjanović}.出版物。Inst.数学。,努夫。Sér。95(109),73--86(2014;Zbl 1474.03079) 全文: DOI程序
米洛舍维奇;佐兰·奥格尼亚诺维奇 一种具有迭代的一阶条件概率逻辑。 (英语) Zbl 1313.03008号 出版物。Inst.数学。,努夫。Sér。 93(107), 19-27 (2013).MSC公司:03B48号 03B42号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Milošević}和\textit{Z.Ognjanović}.出版物。Inst.数学。,努夫。Sér。93(107),19-27(2013;Zbl 1313.03008) 全文: DOI程序
西尔维亚·利卡维奇;皮埃尔·莱斯坎 关于经典逻辑术语演算的语义。 (英语) 兹比尔1313.03003 出版物。Inst.数学。,努夫。Sér。 92(106), 79-95 (2012). 审核人:佐兰·佩特里奇(贝尔格莱德) MSC公司:03B40型 03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{S.Likavec}和\textit{P.Lescanne},出版。Inst.数学。,努夫。Sér。92(106),79-95(2012;Zbl 1313.03003) 全文: DOI程序
道德,德拉甘 一种具有大步长概率的逻辑,可以模拟系统P的非单调推理。 (英语) Zbl 1289.03005号 出版物。Inst.数学。,努夫。Sér。 90(104), 13-22 (2011). 审核人:Aleksandar Perović(贝尔格莱德) MSC公司:03B48号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{D.Doder},出版物。Inst.数学。,努夫。Sér。90(104),13-22(2011;Zbl 1289.03005) 全文: DOI程序
伊里奇-斯蒂皮奇,安吉丽娜 关于定性概率的推理逻辑。 (英语) Zbl 1289.03006号 出版物。Inst.数学。,努夫。Sér。 87(101), 97-108 (2010). 审核人:Aleksandar Perović(贝尔格莱德) MSC公司:03B48号 60A05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ilić-Stepić},出版物。Inst.数学。,努夫。Sér。87(101),97--108(2010;Zbl 1289.03006) 全文: DOI程序
道德,德拉甘;博扬·马里科维奇;彼得·马克西莫维奇;阿列克桑达尔·佩罗维奇 一种带有条件概率算子的逻辑。 (英语) Zbl 1265.03010号 出版物。Inst.数学。,努夫。Sér。 87(101), 85-96 (2010). 审核人:佐兰·奥格尼亚诺维奇(贝尔格莱德) MSC公司:03B48号 03B25号 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{D.Doder}等人,出版物。Inst.数学。,努夫。Sér。87(101),85-96(2010;Zbl 1265.03010) 全文: DOI程序
米洛舍维奇 命题基概率逻辑。 (英语) 兹比尔1265.03011 出版物。Inst.数学。,努夫。Sér。 87(101), 75-83 (2010). 审核人:佐兰·奥格尼亚诺维奇(贝尔格莱德) MSC公司:03B48号 03B25号 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{M.Milošević},出版物。Inst.数学。,努夫。Sér。87(101),75-83(2010;Zbl 1265.03011) 全文: DOI程序
佐兰·奥格尼亚诺维奇;内博伊沙·伊科迪诺维奇 具有高阶条件概率的逻辑。 (英语) Zbl 1203.68206号 出版物。Inst.数学。,努夫。Sér。 82(96),141-154(2007). 审核人:米奥德拉格·拉什科维奇(贝尔格莱德) MSC公司:68层37 68T27型 03B48号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ognjanović}和\textit{N.Ikodinović},出版物。Inst.数学。,努夫。Sér。82(96),141--154(2007;Zbl 1203.68206) 全文: DOI程序 欧洲DML
西尔维娅·吉勒赞;Jelena Ivetić \(\lambda^{\text{Gtz}}\)-演算的交集类型。 (英语) Zbl 1164.03001号 出版物。Inst.数学。,努夫。Sér。 82(96),85-91(2007). 审核人:DragićBanković(克拉古耶瓦茨) MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilezan}和\textit{J.Ivetić},出版物。Inst.数学。,努夫。Sér。82(96),85-91(2007;Zbl 1164.03001) 全文: DOI程序 欧洲DML
米尔贾纳IsakovićIlić 子结构逻辑的定理证明器。 (英语) Zbl 1199.03003号 出版物。Inst.数学。,努夫。Sér。 82(96), 55-78 (2007). 审核人:佐兰·佩特里奇(贝尔格莱德) MSC公司:03B35型 03B05号 03B20型 03B47号 05年3月 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.IsakovićIlić},出版物。Inst.数学。,努夫。Sér。82(96),55-78(2007;Zbl 1199.03003) 全文: DOI程序 欧洲DML
Milenko Mosurović 模态描述逻辑中的析取。 (英语) Zbl 1164.03006号 出版物。Inst.数学。,努夫。Sér。 82(96), 25-35 (2007). 审核人:佐兰·奥格尼亚诺维奇(贝尔格莱德) MSC公司:03B70号 2015年3月1日 68T27型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Mosurović},出版物。Inst.数学。,努夫。Sér。82(96),25-35(2007;Zbl 1164.03006) 全文: DOI程序 欧洲DML
科斯塔·多森;佐兰·佩特里奇 相关类别和部分功能。 (英语) Zbl 1164.03002号 出版物。Inst.数学。,努夫。Sér。 82(96), 17-23 (2007). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03B47号 03G30型 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{K.Došen}和\textit{Z.Petrić},出版物。Inst.数学。,努夫。Sér。82(96),17-23(2007;Zbl 1164.03002) 全文: arXiv公司 欧洲DML
约翰·范·本特姆 行动中的推理。 (英语) Zbl 1224.03004号 出版物。Inst.数学。,努夫。Sér。 82(96), 3-16 (2007). 审核人:佐兰·佩特里奇(贝尔格莱德) MSC公司:03B45号 03B47号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem},出版物。Inst.数学。,努夫。Sér。82(96),3-16(2007年;兹bl 1224.03004) 全文: 欧洲DML
佐兰·奥格尼亚诺维奇;佐兰·马尔科维奇;米奥德拉格·拉什科维奇 具有不精确概率和条件概率的逻辑的完备性定理。 (英语) Zbl 1144.03019号 出版物。Inst.数学。,努夫。Sér。 78(92), 35-49 (2005). 审核人:齐格弗里德·戈特瓦尔德(莱比锡) MSC公司:03B48号 03B70号 03B45号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ognjanović}等人,出版物。Inst.数学。,努夫。Sér。78(92),35-49(2005年;兹bl 1144.03019) 全文: DOI程序 欧洲DML
佐兰·马尔科维奇;佐兰·奥格尼亚诺维奇;米奥德拉格·拉什科维奇 带有概率运算符的直觉逻辑。 (英语) Zbl 1048.03020号 出版物。Inst.数学。,努夫。Sér。 73(87), 31-38 (2003). 审核人:亚历克斯·纳贝宾(莫斯科) MSC公司:03B48号 03C80号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Marković}等人,出版物。Inst.数学。,努夫。Sér。73(87),31-38(2003年;兹bl 1048.03020) 全文: DOI程序 欧洲DML
佐兰·奥格尼亚诺维奇 一阶线性时间逻辑的完备性定理。 (英语) Zbl 1265.03009号 出版物。Inst.数学。,努夫。Sér。 69(83), 1-7 (2001). 审核人:米奥德拉格·拉什科维奇(贝尔格莱德) MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ognjanović},出版物。Inst.数学。,努夫。Sér。69(83),1--7(2001;Zbl 1265.03009)
米奥德拉,拉舍科维奇;Đor jad ević,拉多萨夫;佐兰·马尔科维奇 近似推理的逻辑。 (英语) Zbl 0991.03027号 出版物。Inst.数学。,努夫。Sér。 69(83), 8-12 (2001). 审核人:佐兰·奥格尼亚诺维奇(贝尔格莱德) MSC公司:03B48号 03C70号 03C80号 68T27型 PDF格式BibTeX公司 XML格式引用 \文本{M.Rašković}等人,Publ。Inst.数学。,努夫。Sér。69(83),8--12(2001;Zbl 0991.03027) 全文: 欧洲DML
米奥德拉格·拉什科维奇;Djordjević,Radoslav S。 柱概率代数。 (英语) Zbl 0965.03078号 出版物。Inst.数学。,努夫。Sér。 68(82), 20-36 (2000). 审核人:布拉尼斯拉夫·博里奇奇(诺维·贝尔格莱德) MSC公司:03G15年 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{M.Rašković}和\textit{R.S.Djordjević},出版物。Inst.数学。,努夫。Sér。68(82),20-36(2000年;兹bl 0965.03078) 全文: 欧洲DML
科斯塔·多森;佐兰·佩特里奇 类型lambda演算和笛卡尔闭范畴的最大值。 (英语) Zbl 0968.03019号 出版物。Inst.数学。,努夫。Sér。 68(82), 1-19 (2000). 审核人:布拉尼斯拉夫·博里奇奇(诺维·贝尔格莱德) MSC公司:03B40型 18甲15 03G30型 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{K.Došen}和\textit{Z.Petrić},出版物。Inst.数学。,努夫。Sér。68(82),1-19(2000;Zbl 0968.03019) 全文: arXiv公司 欧洲DML
米奥德拉格·拉什科维奇;佐兰·奥格尼亚诺维奇 一阶概率逻辑–(LP_Q)。 (英语) Zbl 1006.03018号 出版物。Inst.数学。,努夫。Sér。 65(79), 1-7 (1999). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{M.Rašković}和\textit{Z.Ognjanović,出版物。Inst.数学。,努夫。Sér。65(79),1--7(1999;Zbl 1006.03018)
塞尔维亚鲁迪阿努 关于有限方程的一般解和再生解。 (英语) Zbl 0945.03030号 出版物。Inst.数学。,努夫。Sér。 63(77), 26-30 (1998). 审核人:DragićBanković(克拉古耶瓦茨) MSC公司:03B50号 06E30年 03E20型 39B52号 PDF格式BibTeX公司 XML格式引用 \textit{S.Rudeanu},出版物。Inst.数学。,努夫。Sér。63(77),26-30(1998;Zbl 0945.03030) 全文: 欧洲DML
阿列克桑达尔·克伦 TW和RW之间。 (英语) 兹伯利0946.03026 出版物。Inst.数学。,努夫。Sér。 63(77), 9-20 (1998). 审核人:布拉尼斯拉夫·博里奇奇(诺维·贝尔格莱德) MSC公司:03B47号 PDF格式BibTeX公司 XML格式引用 \textit{A.Kron},出版物。Inst.数学。,努夫。Sér。63(77),9--20(1998;Zbl 0946.03026) 全文: 欧洲DML
普雷什奇,斯拉维沙·B。 如何将逻辑编程推广到任意子句集。 (英语) Zbl 0942.68017号 出版物。Inst.数学。,努夫。Sér。 61(75), 137-152 (1997). 审核人:米奥德拉·卡佩塔诺维奇(贝尔格莱德) MSC公司:第68页第17页 03B05号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.B.Prešić},出版物。Inst.数学。,努夫。Sér。61(75),137--152(1997;Zbl 0942.68017) 全文: 欧洲DML
拉什科维奇,M。;乔尔杰维奇,R.S。;Bradić,M。 弱圆柱概率代数。 (英语) Zbl 0943.03054号 出版物。Inst.数学。,努夫。Sér。 61(75),6-16(1997). 审核人:布兰尼斯拉夫·博里奇(Novi Beograd) MSC公司:03G15年 03B48号 03C70号 03C80号 PDF格式BibTeX公司 XML格式引用 \textit{M.Rašković}等人,出版物。Inst.数学。,努夫。Sér。61(75),6--16(1997;Zbl 0943.03054)
Banković,Dragić 未知项中的有限方程。 (英语) Zbl 0897.06016号 出版物。Inst.数学。,努夫。Sér。 61(75),1-5(1997). 审核人:阿列克桑达尔·克拉佩奇(泽蒙) MSC公司:06E30年 03E20型 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{D.Banković},出版物。Inst.数学。,努夫。Sér。61(75),1--5(1997;Zbl 0897.06016) 全文: 欧洲DML
Ognjanović,Z。;拉什科维奇,M。 具有高阶概率的逻辑。 (英语) Zbl 0884.03019号 出版物。Inst.数学。,努夫。Sér。 60(74), 1-4 (1996). 审核人:Aleksandar Kron(贝尔格莱德) MSC公司:03B48号 68T27型 03C80号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ognjanović}和\textit{M.Rašković,出版物。Inst.数学。,努夫。Sér。60(74),1--4(1996;Zbl 0884.03019)
A.克伦。 身份和排列。 (英语) Zbl 0855.03009号 出版物。Inst.数学。,努夫。Sér。 57(71), 165-178 (1995).MSC公司:03B47号 PDF格式BibTeX公司 XML格式引用 \textit{A.Kron},出版物。Inst.数学。,努夫。Sér。57(71),165--178(1995;Zbl 0855.03009) 全文: 欧洲DML EMIS公司
Rašković,Miodrag D。;Đor jad ević,Radosav S。 连续时间概率逻辑。 (英语) Zbl 0855.03022号 出版物。Inst.数学。,努夫。Sér。 57(71), 143-146 (1995).MSC公司:03C80号 03B48号 03C70号 PDF格式BibTeX公司 XML格式引用 \textit{M.D.Rašković}和\textit{R.S.Đ或ddo ević}.出版物。Inst.数学。,努夫。Sér。57(71),143--146(1995;Zbl 0855.03022) 全文: 欧洲DML EMIS公司
Prešić,Marica D。;普雷什奇,斯拉维沙·B。 DCG形式主义与0型短语结构语法形式主义等价的构造性证明。 (英语) Zbl 0830.03013号 出版物。Inst.数学。,努夫。Sér。 56(70), 7-17 (1994).MSC公司:03B65号 PDF格式BibTeX公司 XML格式引用 \textit{M.D.普雷什奇}和\textit{S.B.普雷什奇},出版。Inst.数学。,努夫。Sér。56(70),7-17(1994年;兹bl 08303013) 全文: 欧洲DML EMIS公司
Prešić,Marica D。 变形语法在逻辑语法中的表示:证明树及其长度。 (英语) Zbl 0830.03012号 出版物。Inst.数学。,努夫。Sér。 56(70), 1-6 (1994).MSC公司:03B65号 20层03 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{M.D.Prešić},出版物。Inst.数学。,努夫。Sér。56(70),1--6(1994;Zbl 0830.03012) 全文: 欧洲DML EMIS公司
Prešić,Marica D。 深层次的内涵逻辑。 (英语) Zbl 0810.03023号 出版物。Inst.数学。,努夫。Sér。 54(68), 1-12 (1993).MSC公司:03B65号 PDF格式BibTeX公司 XML格式引用 \textit{M.D.Prešić},出版物。Inst.数学。,努夫。Sér。54(68),1--12(1993;Zbl 0810.03023) 全文: 欧洲DML
米奥德拉格·拉什科维奇 带有一些概率运算符的经典逻辑。 (英语) Zbl 0799.03018号 出版物。Inst.数学。,努夫。Sér。 53(67),1-3(1993).MSC公司:03B48号 03C80号 PDF格式BibTeX公司 XML格式引用 \textit{M.Rašković},出版物。Inst.数学。,努夫。Sér。53(67),1--3(1993;Zbl 0799.03018) 全文: 欧洲DML
Banković,Dragić 有限方程上Prešić定理的新证明。 (英语) Zbl 0776.03007号 出版物。Inst.数学。,努夫。Sér。 51(65), 22-24 (1992).MSC公司:03B50号 08A99号 PDF格式BibTeX公司 XML格式引用 \textit{D.Banković},出版物。Inst.数学。,努夫。Sér。51(65),22--24(1992;Zbl 0776.03007) 全文: 欧洲DML
米兰塔西奇 负片-命题演算。 (英语) Zbl 0744.03011号 出版物。Inst.数学。,努夫。Sér。 50(64), 1-6 (1991).MSC公司:03B20型 PDF格式BibTeX公司 XML格式引用 \文本{M.Tasić},Publ。Inst.数学。,努夫。Sér。50(64),1--6(1991;Zbl 0744.03011) 全文: 欧洲DML
Đor jad ević,Radosav S。 积分逻辑的Barwise完备性定理。 (英语) Zbl 0736.03010号 出版物。Inst.数学。,努夫。Sér。 49(63), 1-5 (1991).MSC公司:03C70号 03C80号 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{R.S.Đor ddo ević},出版。Inst.数学。,努夫。Sér。49(63),1-5(1991年;Zbl 0736.03010)
Banković,Dragić 有限方程的所有一般解。 (英语) Zbl 0731.04002号 出版物。Inst.数学。,努夫。Sér。 47(61), 5-12 (1990). 审核人:S.Rudeanu(布库雷什蒂) MSC公司:03E20型 06E30年 39个B05 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{D.Banković},出版物。Inst.数学。,努夫。Sér。47(61),5-12(1990年;兹bl 0731.04002) 全文: 欧洲DML
科斯塔·多森 Heyting和Peano算法的模态翻译。 (英语) Zbl 0726.03009号 出版物。Inst.数学。,努夫。Sér。 47(61), 13-23 (1990). 审核人:R.华莱士花园(泰晤士河) MSC公司:03B45号 30楼03号 第03页第55页 35层03 PDF格式BibTeX公司 XML格式引用 \textit{K.Došen},出版物。Inst.数学。,努夫。Sér。47(61),13-23(1990;Zbl 0726.03009) 全文: 欧洲DML
Miodrag卡佩塔诺维奇;阿列克桑达尔·克拉佩奇 一阶逻辑的证明过程。 (英语) Zbl 0681.03004号 出版物。Inst.数学。,努夫。Sér。 45(59), 3-5 (1989). 审核人:博里奇 MSC公司:03B10号机组 07年3月 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kapetanović}和\textit{A.Krapeí},出版物。Inst.数学。,努夫。Sér。45(59),3--5(1989;Zbl 0681.03004) 全文: 欧洲DML
Banković,Dragić 布尔方程通解的公式。 (英语) Zbl 0675.06010号 出版物。Inst.数学。,努夫。Sér。 44(58), 9-18 (1988). 审核人:B.塔尔海姆 MSC公司:06E30年 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{D.Banković},出版物。Inst.数学。,努夫。Sér。44(58),9-18(1988;Zbl 0675.06010) 全文: 欧洲DML
普雷什奇,斯拉维沙·B。 有限方程的所有再生解。 (英语) Zbl 0668.03008号 出版物。Inst.数学。,努夫。Sér。 44(58),3-7(1988). 审核人:B.塔尔海姆 MSC公司:03B50号 03E20型 PDF格式BibTeX公司 XML格式引用 \textit{S.B.Prešić},出版物。Inst.数学。,努夫。Sér。44(58),3--7(1988;Zbl 0668.03008) 全文: 欧洲DML
扎尔科·米贾伊洛维奇 关于S5代数及其自同构群的表示。 (英语) Zbl 0636.03010号 出版物。Inst.数学。,努夫。Sér。 41(55), 3-15 (1987). 审核人:L.Esakia公司 MSC公司:03B45号 03G10年 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{.Mijajlović},出版物。Inst.数学。,努夫。Sér。41(55),3-15(1987;Zbl 0636.03010) 全文: 欧洲DML
科斯塔·多森 直觉模态逻辑的高级序列系统。 (英语) Zbl 0597.03011号 出版物。Inst.数学。,努夫。Sér。 39(53), 3-12 (1986).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{K.Došen},出版物。Inst.数学。,努夫。Sér。39(53),3-12(1986;Zbl 0597.03011) 全文: 欧洲DML
Banković,Dragić 关于生殖解决方案的一些评论。 (英语) Zbl 0609.04003号 出版物。Inst.数学。,努夫。Sér。 38(52), 17-19 (1985).MSC公司:03E20型 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{D.Banković},出版物。Inst.数学。,努夫。Sér。38(52),17--19(1985;Zbl 0609.04003) 全文: 欧洲DML
米兰博伊奇 一些中间逻辑的语义。 (英语) Zbl 0598.03021号 出版物。Inst.数学。,努夫。Sér。 37(51), 7-15 (1985). 审核人:T.河内 MSC公司:03B55型 PDF格式BibTeX公司 XML格式引用 \textit{M.Boíić},出版物。Inst.数学。,努夫。Sér。37(51),7-15(1985;Zbl 0598.03021) 全文: 欧洲DML
米奥德拉,拉舍科维奇 (L_{{mathcal A}M})逻辑的模型理论。 (英语) Zbl 0581.03029号 出版物。Inst.数学。,努夫。Sér。 37(51), 17-22 (1985).MSC公司:03C70号 03B48号 99年3月 03C90号 03C35号 PDF格式BibTeX公司 XML格式引用 \文本{M.Rašković},Publ。Inst.数学。,努夫。Sér。37(51),17--22(1985;Zbl 0581.03029)
佐兰·马尔科维奇 带有可判定原子公式的直觉主义理论的克里普克模型。 (英语) Zbl 0595.03037号 出版物。Inst.数学。,努夫。Sér。 36(50), 3-7 (1984).MSC公司:03C90号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Markovć},出版物。Inst.数学。,努夫。Sér。36(50),3--7(1984;Zbl 0595.03037) 全文: 欧洲DML
Božić,米兰 带有双重否定的正逻辑。 (英语) Zbl 0569.03010号 出版物。Inst.数学。,努夫。Sér。 35(49), 21-31 (1984). 审核人:A.A.Johanson先生 MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Boíić},出版物。Inst.数学。,努夫。Sér。35(49),21-31(1984;Zbl 0569.03010) 全文: 欧洲DML
米利奇奇,M.i。 具有延迟的闭函数类的伽罗瓦对应关系。二、。 (俄语) Zbl 0567.94021号 出版物。Inst.数学。,努夫。Sér。 36(50), 125-136 (1984). 审核人:V.V.戈洛夫 MSC公司:94立方厘米10 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{M.I.Milić},出版物。Inst.数学。,努夫。Sér。36(50),125--136(1984;Zbl 0567.94021) 全文: 欧洲DML
米利奇奇,M.i。 具有时滞的闭函数类的Galois对应。一、。 (俄语) Zbl 0567.94020号 出版物。Inst.数学。,努夫。Sér。 36(50),119-124(1984).MSC公司:94立方厘米10 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{M.I.Milić},出版物。Inst.数学。,努夫。Sér。36(50),119--124(1984;Zbl 0567.94020) 全文: 欧洲DML
科斯塔·多森 直觉主义的双重否定作为必然运算符。 (英语) Zbl 0555.03012号 出版物。Inst.数学。,努夫。Sér。 35(49), 15-20 (1984).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{K.Došen},出版物。Inst.数学。,努夫。Sér。35(49),15--20(1984;Zbl 0555.03012) 全文: 欧洲DML
科斯塔·多森 直觉逻辑中的负模态算子。 (英语) Zbl 0555.03011号 出版物。Inst.数学。,努夫。Sér。 35(49), 3-14 (1984).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{K.Došen},出版物。Inst.数学。,努夫。Sér。35(49),3-14(1984;兹bl 0555.03011) 全文: 欧洲DML
佐兰·马尔科维奇 关于克里普克模型的约化积。 (英语) Zbl 0595.03036号 出版物。Inst.数学。,努夫。Sér。 34(48), 117-120 (1983). 审核人:O.索诺贝 MSC公司:03C90号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Markovć},出版物。Inst.数学。,努夫。Sér。34(48),117-120(1983;Zbl 0595.03036) 全文: 欧洲DML
Boričić,Branislav R。 一类无析取中间命题演算的判定过程。 (英语) Zbl 0556.03025号 出版物。Inst.数学。,努夫。Sér。 34(48), 19-26 (1983). 审核人:J.M.普洛金 MSC公司:03B55型 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{B.R.Borić},出版物。Inst.数学。,努夫。Sér。34(48),19-26(1983;Zbl 0556.03025) 全文: 欧洲DML
布拉尼斯拉夫·博里奇奇。 演绎的一种可能的形式描述。 (英语) 兹伯利0554.03017 出版物。Inst.数学。,努夫。Sér。 34(48), 13-18 (1983).MSC公司:03B99 03B05号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{B.R.Borić},出版物。Inst.数学。,努夫。Sér。34(48),13-18(1983;Zbl 0554.03017) 全文: 欧洲DML
Petar Z.科托姆斯基。 将归纳规则实现到自动定理证明的解析过程中。 (俄语) Zbl 0515.68066号 出版物。Inst.数学。,努夫。Sér。 33(47), 89-95 (1983).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.Z.Khotomski},出版物。Inst.数学。,努夫。Sér。33(47),89-95(1983年;Zbl 0515.68066) 全文: 欧洲DML
Petar Z.霍托姆斯基。 归纳法在矛盾证明中的应用与自动定理证明。 (俄语) Zbl 0521.03007号 出版物。Inst.数学。,努夫。Sér。 31(45), 51-63 (1982).MSC公司:03B10号机组 03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Z.Hotomski},Publ。Inst.数学。,努夫。Sér。31(45),51-63(1982;Zbl 0521.03007)
布拉尼斯拉夫·博里西奇。 直觉命题演算和经典一阶谓词演算的等式重组。 (英语) Zbl 0498.03050号 出版物。Inst.数学。,努夫。Sér。 29(43), 29, 23-28 (1981).MSC公司:03G15年 03G25号 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.R.Boricic},出版物。Inst.数学。,努夫。Sér。29(43),29,23-28(1981;Zbl 0498.03050)
米奥德拉省卡佩塔诺维奇 模态逻辑中的一种表辅助系统。 (英语) Zbl 0494.03009号 出版物。Inst.数学。,努夫。Sér。 30(44), 65-67 (1981).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Kapetanovic},出版物。Inst.数学。,努夫。Sér。30(44),65-67(1981;Zbl 0494.03009) 全文: 欧洲DML
科斯塔·多森 可嵌入Heyting和经典逻辑的最小模态系统。 (英语) 兹伯利0494.03008 出版物。Inst.数学。,努夫。Sér。 30(44), 41-52 (1981).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{K.Dosen},出版物。Inst.数学。,努夫。Sér。30(44),41-52(1981;Zbl 0494.03008) 全文: 欧洲DML
米德拉格·卡佩塔诺维奇 关于多值句子演算。 (英语) Zbl 0467.03016号 出版物。Inst.数学。,努夫。Sér。 27(41), 103-106 (1980).MSC公司:03B50号 PDF格式BibTeX公司 XML格式引用 \textit{M.Kapetanovic},出版物。Inst.数学。,努夫。Sér。27(41),103-106(1980;Zbl 0467.03016) 全文: 欧洲DML
斯拉维萨·普雷西奇。 一类命题演算的完备性定理。 (英语) Zbl 0455.03008号 出版物。Inst.数学。,努夫。Sér。 26(40), 249-254 (1979).MSC公司:03B60号 03B05号 03C35号 PDF格式BibTeX公司 XML格式引用 \textit{S.B.Presic},出版。Inst.数学。,努夫。Sér。26(40),249--254(1979;Zbl 0455.03008) 全文: 欧洲DML
玛丽卡·普雷西奇。 关于关系的最大一致性。 (英语) Zbl 0449.03026号 出版物。Inst.数学。,努夫。Sér。 26(40), 233-247 (1979).MSC公司:03C60型 03G99型 03B25号 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.D.Presic},出版。Inst.数学。,努夫。Sér。26(40),233--247(1979;Zbl 0449.03026) 全文: 欧洲DML
科里奥兰·吉勒赞;塞尔吉·鲁迪亚努 有限集上的插值公式。 (英语) Zbl 0419.03011号 出版物。Inst.数学。,努夫。Sér。 25(39), 45-49 (1979).MSC公司:03B50号 94立方厘米10 03G99型 PDF格式BibTeX公司 XML格式引用 \textit{C.Ghilezan}和\textit{S.Rudeanu},出版物。Inst.数学。,努夫。Sér。25(39),45-49(1979年;兹bl 0419.03011) 全文: 欧洲DML
伏伊伏迪奇,格拉迪米尔 混合值谓词演算模型理论的几个定理。 (英语) Zbl 0399.03018号 出版物。Inst.数学。,努夫。Sér。 23(37), 229-234 (1978).MSC公司:03B50号 03C20号 03C35号 03B10号机组 PDF格式BibTeX公司 XML格式引用 \文本{G.Vojvodic},Publ。Inst.数学。,努夫。Sér。23(37),229--234(1978;Zbl 0399.03018) 全文: 欧洲DML
米洛拉·卡佩塔诺维奇 关于一类句子功能。 (英语) Zbl 0378.0206号 出版物。Inst.数学。,努夫。Sér。 22(36), 127-129 (1977).MSC公司:03B50号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Kapetanovic},出版物。Inst.数学。,努夫。Sér。22(36),127--129(1977;Zbl 0378.0206) 全文: 欧洲DML
博佐维奇,娜塔莎·B。 关于有限呈现群的Markov性质。 (英语) Zbl 0374.02010 出版物。Inst.数学。,努夫。Sér。 21(35), 29-32 (1977).MSC公司:03B99 03年3月 03天80 PDF格式BibTeX公司 XML格式引用 \textit{N.B.Bozovic},出版物。Inst.数学。,努夫。Sér。21(35),29-32(1977年;Zbl 0374.02010) 全文: 欧洲DML
佐兰·马尔科维奇 饱和直觉理论的约化积。 (英语) Zbl 0367.02009 出版物。Inst.数学。,努夫。Sér。 21(35), 131-133 (1977).MSC公司:03B55型 第03页第55页 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Markovic},出版物。Inst.数学。,努夫。Sér。21(35),131--133(1977;Zbl 0367.02009) 全文: 欧洲DML
普雷什奇,斯拉维沙·B。 在卫星上谴责Lösungen。 (德语) Zbl 0272.08002号 出版物。Inst.数学。,努夫。Sér。 14(28), 133-136 (1972).MSC公司:08-00 03B05号 08A05号 PDF格式BibTeX公司 XML格式引用 \textit{S.B.Prešić},出版物。Inst.数学。,努夫。Sér。14(28),133--136(1972;Zbl 0272.08002)
Velimir Roglić 经典力学中的观测空间和可观察性。 (英语) Zbl 0255.02022号 出版物。Inst.数学。,努夫。Sér。 13(27), 101-103 (1972).MSC公司:03G25号 03B99 05年3月 05年6月 70G99型 PDF格式BibTeX公司 XML格式引用 \textit{V.Roglić},出版物。Inst.数学。,努夫。Sér。13(27),101-103(1972;Zbl 0255.02022) 全文: 欧洲DML
Stojaković,M。 关于蕴涵的指数性质。 (英语) Zbl 0253.0208号 出版物。Inst.数学。,努夫。Sér。 13(27), 121-125 (1972).MSC公司:03B05号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{M.Stojaković},出版物。Inst.数学。,努夫。Sér。13(27),121--125(1972;Zbl 0253.0208) 全文: 欧洲DML