×

布拉尼斯拉夫·博里奇奇。

作者ID: 布拉尼斯拉夫硼砂“Boričić,Branislav R.”最近发表的zbMATH文章
发布日期: 布拉尼斯拉夫·博里奇奇。;布拉尼斯拉夫·博里奇奇;布拉尼斯拉夫·博里西奇。
外部链接: MGP公司
已编制索引的文档: 25出版物自1981年以来,包括3本书1个附加arXiv预打印
审查活动: 295条评论
合著者: 3位合著者具有5份联合出版物
22位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

10出版物有被引用26中的次20文件 引用人 年份
关于序列归纳自然演绎系统。 Zbl 0572.03033号
布拉尼斯拉夫·博里奇奇。
11
1985
直觉命题逻辑中的概率有效性度量。 Zbl 1040.03509号
博里奇,布兰尼斯拉夫;米奥德拉格·拉什科维奇
1996
相关逻辑RW的无割序列演算。 Zbl 1343.03019号
米尔贾纳·伊利奇;布拉尼斯拉夫·博里奇奇
2014
一个无割Gentzen型系统,用于排除中间弱律的逻辑。 Zbl 0639.03023号
布拉尼斯拉夫·博里奇奇。
2
1986
关于一些命题中间逻辑的某些可规范化的自然演绎公式。 Zbl 0668.03010号
布拉尼斯拉夫·博里奇奇。
2
1988
关于一些中间命题演算的注记。 Zbl 0555.03013号
布拉尼斯拉夫·博里奇奇。
1
1984
直觉S4的插值定理。 Zbl 0732.03010号
布拉尼斯拉夫·博里奇奇。
1
1991
关于经典逻辑的一些解释。 Zbl 0794.03011号
布拉尼斯拉夫·博里奇奇。
1
1992
某些命题逻辑中的有效性度量。 Zbl 0884.03018号
布拉尼斯拉夫·博里奇奇
1
1997
命题逻辑的模糊化。 Zbl 0960.03020号
布拉尼斯拉夫·博里奇奇
1
1999
相关逻辑RW的无割序列演算。 Zbl 1343.03019号
米尔贾纳·伊利奇;布拉尼斯拉夫·博里奇奇
2014
命题逻辑的模糊化。 Zbl 0960.03020号
布拉尼斯拉夫·博里奇奇
1
1999
某些命题逻辑中的有效性度量。 Zbl 0884.03018号
布拉尼斯拉夫·博里奇奇
1
1997
直觉命题逻辑中的概率有效性度量。 Zbl 1040.03509号
布拉尼斯拉夫·博里奇奇;米奥德拉格·拉什科维奇
1996
关于经典逻辑的一些解释。 Zbl 0794.03011号
布拉尼斯拉夫·博里奇奇。
1
1992
直觉S4的插值定理。 Zbl 0732.03010号
Boričić,Branislav R。
1
1991
关于某些命题中间逻辑的某些可规范化自然演绎公式。 Zbl 0668.03010号
布拉尼斯拉夫·博里奇奇。
2
1988
一个无割Gentzen型系统,用于排除中间弱律的逻辑。 Zbl 0639.03023号
布拉尼斯拉夫·博里奇奇。
2
1986
关于序列归纳自然演绎系统。 Zbl 0572.03033号
布拉尼斯拉夫·博里奇奇。
11
1985
关于一些中间命题演算的注记。 Zbl 0555.03013号
布拉尼斯拉夫·博里奇奇。
1
1984

按年份列出的引文