安德烈·维尔利诺 分析表和SL分辨率的相对复杂性。 (英语) 兹比尔0801.03010 螺柱日志。 52,第2期,323-337(1993). 审核人:J.Šajda(布拉迪斯拉发) MSC公司:03B35型 20层03 PDF格式BibTeX公司 XML格式引用 \textit{A.Vellino},螺柱日志。52,第2号,323--337(1993;Zbl 0801.03010) 全文: 内政部
兹比格涅夫·斯塔奇尼亚克 一篇关于解析逻辑的文章。 (英语) Zbl 0807.03006号 螺柱日志。 52,第2期,309-322(1993).MSC公司:03B35型 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{Z.Stachniak},螺柱日志。52,第2号,309--322(1993;Zbl 0807.03006) 全文: 内政部
弗朗西斯·佩莱蒂尔。 模态逻辑定理证明中的恒等式。 (英语) Zbl 0797.03011号 螺柱日志。 52,第2期,291-308(1993). 审核人:H.J.Ohlbach(萨尔布吕肯) MSC公司:03B45 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{F.J.Pelletier},Stud.Log。52,第2号,291--308(1993;Zbl 0797.03011) 全文: 内政部
亚瑟·巴赫斯鲍姆;塔里西奥·佩奎诺 次协调逻辑的一种推理方法。 (英语) Zbl 0796.03017号 螺柱日志。 52,第2期,281-289(1993). 审核人:I.D’Ottaviano(坎皮纳斯) MSC公司:03B35型 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{A.Buchsbaum}和\textit{T.Pequeno},Stud.Log。52,第2号,281--289(1993;Zbl 0796.03017) 全文: 内政部
蒋岳杰(Jiang,Yue J.)。 内涵认知逻辑。 (英语) Zbl 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) 全文: 内政部
伊恩·詹特(Ian P.Gent)。 使用字母单调性的理论矩阵(用于模态逻辑)。 (英语) Zbl 0801.03007号 螺柱日志。 52,第233-257号(1993年). 审核人:L.州(布库雷什蒂) MSC公司:03B35型 03B45 PDF格式BibTeX公司 XML格式引用 \textit{I.P.Gent},螺柱日志。52,No.2,233--257(1993;Zbl 0801.03007) 全文: 内政部
里卡多·卡费拉;斯特凡·德姆里;米歇尔·赫敏特 证明、引理和策略从经典逻辑到非经典逻辑的转换框架。 (英语) Zbl 0796.03016号 螺柱日志。 52,第2期,197-232(1993). 审核人:H.J.Ohlbach(萨尔布吕肯) MSC公司:03B35型 03B45 PDF格式BibTeX公司 XML格式引用 \textit{R.Caferra}等人,研究日志。52,第2号,197--232(1993;Zbl 0796.03016) 全文: 内政部
海狸,戈登 Łukasiewicz逻辑的自动定理证明。 (英语) Zbl 0801.03008号 螺柱日志。 52,第2期,183-195(1993). 审核人:L.州(布库雷什蒂) MSC公司:03B35型 03B50号 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{G.海狸},螺柱日志。52,第2号,183--195(1993;Zbl 0801.03008) 全文: 内政部