梅恩德斯,J.M。;F.萨托。 直觉主义命题逻辑没有“收缩”,但有“还原”。 (英语) Zbl 0963.03003号 螺柱日志。 66,第3期,409-418(2000).MSC公司:03B20型 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Méndez}和\textit{F.Salto},Stud.Log。66,第3号,409--418(2000;Zbl 0963.03003) 全文: 内政部
卢卡·维甘诺 关联逻辑(B^+)的(O(n\log n))空间决策过程。 (英语) Zbl 0963.03036号 螺柱日志。 66,第3期,385-407(2000).MSC公司:03B47号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Vigan“},螺柱日志。66,第3号,385--407(2000;Zbl 0963.03036) 全文: 内政部
斯特凡·德姆里;Dov Gabbay公司 以具有相对可及性关系的模型为特征的模态逻辑。二、。 (英语) Zbl 0981.03031号 螺柱日志。 66,第3期,349-384(2000). 审核人:安娜·戈莫利安斯卡(比亚莱斯托克) MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{D.Gabbay},Stud.Log。66,第3号,349--384(2000;Zbl 0981.03031) 全文: 内政部
迪德里克·巴滕斯;Meheus,笑话 兼容性的自适应逻辑。 (英语) Zbl 0963.03041号 螺柱日志。 66,第3期,327-348(2000).MSC公司:03B53号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.Batens}和\textit{J.Meheus},Stud.Log。66,第3号,327--348(2000;Zbl 0963.03041) 全文: 内政部