李翔;张明义 泛系统分析和泛系统语义分析的数学基础。一、。 (中文。英文摘要) Zbl 0599.03021号 科学。探索。 第1期,第2期,第115-122页(1981年)。MSC公司:03B52号 03E72型 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{X.Li}和\textit{M.Zhang},科学。探索。1,编号2,115-122(1981;Zbl 0599.03021)
内梅蒂,I。 圆柱代数和CF语言的初始代数语义之间的联系。 (英语) Zbl 0502.68024号 计算机科学中的数学逻辑,Salgotarjan/Hung。1978年,大学数学。Janos Bolyai协会26,561-605(1981)。MSC公司:68问题55 03G15年 05年3月 PDF格式BibTeX公司 XML格式
谢赫特曼,V.B。 情态命题的语义。 (俄语) Zbl 0502.03014号 Semiotika公司。 17, 148-169 (1981)。MSC公司:03B45号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{V.B.Shekhtman},Semiotika Inf.17,148--169(1981;Zbl 0502.03014)
Susumu Hayashi 论拓扑中的集合理论。 (英语) Zbl 0498.03052号 逻辑研讨会,Proc。会议,箱根/日本。1979年和1980年,Lect。数学笔记。891, 23-29 (1981).MSC公司:03G30型 18对25 03E40型 03E70型 PDF格式BibTeX公司 XML格式
Hiroya Kawai 关于双模系统LTOmega和LETOmega的完备性定理。 (英语) Zbl 0498.03013号 数学。日本。 26, 377-383 (1981)。MSC公司:03B45号 68号01 60年第68季度 03C75号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.Kawai},数学。日本。26、377--383(1981年;Zbl 0498.03013)
Lopez-Escobar,E.G.K。 直觉主义语义之间的等价性。一、。 (英语) 兹伯利0497.03047 J.塞姆。日志。 46, 773-780 (1981)。MSC公司:03G30型 03英尺50英寸 PDF格式BibTeX公司 XML格式引用 \textit{E.G.K.Lopez-Escobar},J.Symb(英国作家)。日志。46、773--780(1981年;Zbl 0497.03047) 全文: 内政部
盖泽,J.R。 理性的建设性分析。 (英语) Zbl 0494.03041号 建构数学,Proc。Conf.,Las Cruces/N.M.1980,Lect。数学笔记。873321-347(1981)中描述。MSC公司:65楼03号 20层03 03英尺50英寸 PDF格式BibTeX公司 XML格式
米罗斯拉夫·萨特科夫斯基 梅德韦杰夫的逻辑支离破碎。 (英语) Zbl 0488.03016号 螺柱日志。 40, 39-54 (1981)。MSC公司:03B55号 PDF格式BibTeX公司 XML格式引用 \textit{M.Szatkowski},研究日志。40、39-54(1981年;Zbl 0488.03016) 全文: 内政部
德克斯特·科赞 关于动态代数和Kripke模型的对偶性。 (英语) Zbl 0482.03008号 程序逻辑,工作坊,1979年苏黎世联邦理工学院,Lect。注释计算。科学。125, 1-11 (1981).MSC公司:03B60号 03G25号 68问题65 03C99号 60年第68季度 PDF格式BibTeX公司 XML格式
马克斯·普·乌尔赫斯(Max P.Urchs)。 Semantische Typen für klasische Modallogiken公司。 (德语) Zbl 0476.03027号 威斯。Z.,Martin-Luther-Univ.Halle-Wittenberg,数学-大自然。赖厄 30,第1号,71-80(1981)。MSC公司:03B45号 03-02 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Urchs},威斯康星州。Z.Martin-Luther-Univ.Halle-Wittenberg,数学-大自然。Reihe 30,No.1,71--80(1981;Zbl 0476.03027)
罗伯特·戈德布拉特。 Grothendieck拓扑作为几何形态。 (英语) Zbl 0474.03018号 Z.数学。Logik Grundlagen数学。 27, 495-529 (1981)。MSC公司:03C99号 03B45号 10层18号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{R.I.Goldblatt},Z.数学。Logik Grundlagen数学。27495--529(1981年;Zbl 0474.03018) 全文: 内政部
尼古拉斯·古德曼。 矛盾的逻辑。 (英语) Zbl 0467.03019号 Z.数学。Logik Grundlagen数学。 27, 119-126 (1981)。MSC公司:03B60号 03E70型 PDF格式BibTeX公司 XML格式引用 \textit{N.D.古德曼},Z.数学。Logik Grundlagen数学。27119-126(1981年;Zbl 0467.03019) 全文: 内政部