×

找到6个文档(结果1-6)

修改了Kaminski逻辑的邻域语义。 (英语。俄文原件) 兹比尔1025.03016

莫斯克。大学数学。牛市。 53,第2期,7-10页(1998年); 由Vestn翻译。莫斯科。州立大学。I 1998年,第2期,第8-11页(1998年)。
MSC公司:03B45
PDF格式BibTeX公司 XML格式引用

具有新一元连接词的完全Novikov逻辑族的连续性。 (英语。俄文原件) Zbl 0910.03006号

莫斯克。大学数学。牛市。 52,第3期,22-25(1997年); 由Vestn翻译。莫斯科。州立大学。I 1997年,第3期,22-25(1997年)。
MSC公司:03B20型
PDF格式BibTeX公司 XML格式引用

直觉命题演算中新逻辑常数的个数。 (英语。俄文原件) Zbl 0910.03005号

莫斯克。大学数学。牛市。 52,第1期,第6-8页(1997年); 由Vestn翻译。莫斯科。州立大学。I 1997,第1期,7-10(1997)。
MSC公司:03B20型
PDF格式BibTeX公司 XML格式引用

在克里普克模型的基本理论中,西村公式作为一个位置的逻辑连接词。 (英语。俄文原件) Zbl 0582.03048号

莫斯克。大学数学。牛市。 39,第5期,15-21页(1984年); 由Vestn翻译。莫斯科。州立大学。I 1984年,第5期,第12-15页(1984年)。
MSC公司:03楼55
PDF格式BibTeX公司 XML格式引用

直觉谓词演算与“bar”概念的完备性。 (英语。俄文原件) Zbl 0573.03006号

莫斯克。大学数学。牛市。 39,第4期,第62-65页(1984年); 由Vestn翻译。莫斯科。州立大学。I 1984年,第4期,第67-69页(1984年)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

出版年份

主字段