A.M.塞特。;凯塞多，X。 滑轮之间的基本等效性。 （葡萄牙语。英文摘要） Zbl 0819.03029号 第九届拉丁美洲数理逻辑研讨会论文集，阿根廷巴哈伊亚布兰卡，1992年8月3日至8日。第1部分：。《巴希亚·布兰卡：南方国立大学》，《Notas Logica Mat.38129-141》（1993年）。MSC公司：03C90号 PDF格式BibTeX公司 XML格式引用 \textit｛A.M.Sette｝和\textit｛X.Caicedo｝，载于：第九届拉丁美洲数理逻辑研讨会论文集，阿根廷巴哈伊亚布兰卡，1992年8月3日至8日。第1部分：。巴伊亚·布兰卡：南民族大学。129--141（1993；Zbl 0819.03029）
中村，亚基拉 基于多模态逻辑的分级分类。 （英语） 兹伯利0814.03017 已找到。计算。Decis公司。科学。 18，编号3-4，275-291（1993）. 审核人：V.Shekhtman（莫斯科） MSC公司：03B45号 03B52号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Nakamura}，已找到。计算。Decis公司。科学。18，编号3--4，275--291（1993；Zbl 0814.03017）
罗伯托·吉安蒂尼 三值Brouwer-Zadeh逻辑。 （英语） Zbl 0849.03047号 国际J.Theor。物理学。 32，第10期，1875-1887（1993）.MSC公司：03G12号机组 81页第10页 PDF格式BibTeX公司 XML格式引用 \textit{R.Giuntini}，国际期刊Theor。物理学。32，第10号，1875--1887（1993；Zbl 0849.03047） 全文： 内政部
下村达也;铃木，Nobu-Yuki 一些超直觉逻辑是等式理论的逻辑碎片。 （英语） Zbl 0799.03026号 牛市。第节。日志。，大学后勤部。 22，第3号，106-112（1993）. 审核人：V.Shekhtman（莫斯科） MSC公司：03B55号 PDF格式BibTeX公司 XML格式引用 \textit{T.Shimura}和\textit{N.Y.铃木}，公牛。第节。日志。，大学后勤部。22，编号3106-112（1993年；Zbl 0799.03026）
Liau、Churn Jung;林伯特兰一鹏 推理可能性和必要性的证明方法。 （英语） 兹比尔0786.68084 国际J近似推理 9，第4号，327-364（1993）.MSC公司：68吨15 03B52号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit｛C.J.Liau｝和\textit｛B.I P.Lin｝，Int.J.近似推理9，第4期，327--364（1993；Zbl 0786.68084） 全文： 内政部
康斯坦丁·伊格纳提耶夫。 （Sigma_1）-可插值性的可证明逻辑。 （英语） Zbl 0802.03014号 Ann.纯粹应用。逻辑 64，第1期，第1-25页（1993年）. 审核人：V.V.Rybakov（克拉斯诺亚尔斯克） MSC公司：03B45号 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{K.N.Ignatiev}，Ann.《纯粹的应用》。逻辑64，No.1，1--25（1993；Zbl 0802.03014） 全文： 内政部
斯科沃尔佐夫，D.P。;谢赫特曼，V.B。 模态谓词逻辑和超直觉谓词逻辑的最大克里普克类型语义。 （英语） Zbl 0794.03028号 Ann.纯粹应用。逻辑 63，第1期，69-101（1993）. 审核人：O.Sonobe（福洛妮卡） MSC公司：03B45号 03B55号 03C90号 03C30号 PDF格式BibTeX公司 XML格式引用 \textit{D.P.Skvortsov}和\textit{V.B.Shekhtman}，Ann.Pure Appl。逻辑63，No.1，69--101（1993；Zbl 0794.03028） 全文： 内政部
杰拉德·奥尔文;J.Michael Dunn 线性逻辑的克里普克模型。 （英语） Zbl 0795.03013号 J.塞姆。日志。 58，第2期，514-545（1993）. 审核人：V.Shekhtman（莫斯科） MSC公司：03B20型 03C90号 06时30分 03G25号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{G.Allwein}和\textit{J.M.Dunn}，J.Symb。日志。58，编号2，514--545（1993；Zbl 0795.03013） 全文： 内政部
蒋岳杰（Jiang，Yue J.）。 内涵认知逻辑。 （英语） 兹伯利0796.03025 螺柱日志。 52，第2期，259-280（1993）. 审核人：H.J.Ohlbach（萨尔布吕肯） MSC公司：03B45号 03B35型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{Y.J.Jiang}，研究日志。52，第2号，259--280（1993；Zbl 0796.03025） 全文： 内政部
中村哲雄 一些谓词逻辑之间的适当包含。 （英语） Zbl 0791.03013号 代表工厂。科学。，静冈大学。 27, 13-18 (1993). 审核人：Y.Komori（Ohya/Shizuoka） MSC公司：03B55号 PDF格式BibTeX公司 XML格式引用 \textit{T.Nakamura}，众议员。科学。，静冈大学27，13--18（1993；Zbl 0791.03013）
埃德温·马雷斯（Edwin D.Mares）。;罗伯特·梅耶（Robert K.Meyer）。 \（R4\）的语义。 （英语） Zbl 0767.03010号 J.菲洛斯。日志。 22，第1期，95-110（1993）. 审核人：L.F.Goble（塞勒姆） MSC公司：03B47号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{E.D.Mares}和\textit{R.K.Meyer}，J.Philos。日志。22，第1号，95--110（1993；Zbl 0767.03010） 全文： 内政部
铃木，Nobu-Yuki 关于超直觉谓词逻辑的Kripke层语义的一些结果。 （英语） Zbl 0772.03009号 螺柱日志。 52，第1期，73-94（1993）. 审核人：V.Shekhtman（莫斯科） MSC公司：03B55号 PDF格式BibTeX公司 XML格式引用 \textit｛N.-Y Suzuki｝，螺柱日志。52，编号1，73--94（1993；Zbl 0772.03009） 全文： 内政部
下村达也 一些具有常域公理和正则公式变体的中间谓词逻辑的Kripke完备性。 （英语） Zbl 0772.03008号 螺柱日志。 52，第1期，23-40（1993）. 审核人：V.Shekhtman（莫斯科） MSC公司：03B55号 PDF格式BibTeX公司 XML格式引用 \textit{T.Shimura}，螺柱日志。52，编号1，23--40（1993；Zbl 0772.03008） 全文： 内政部
M.Andrew Moshier 关于特征逻辑的完备性定理。 （英语） Zbl 0866.03027号 安。数学。Artif公司。智力。 8，编号1-2，175-213（1993）.MSC公司：03财年03 68T27型 03B65号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Moshier}，Ann.数学。Artif公司。智力。8，编号1--2，175-213（1993；Zbl 0866.03027） 全文： 内政部