阿诺·阿夫隆;比塔·科尼科夫斯卡 推理计算错误的证明系统。 (英语) Zbl 1169.03022号 螺柱日志。 91,第2号,273-293(2009)。MSC公司:03B70号 03B50号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron}和\textit{B.Konikowska},Stud.Log。91,第2273--293号(2009年;兹bl 1169.03022) 全文: 内政部
明兴 通过相对化的T方案跳转骗子和乔丹的卡片。 (英语) 兹比尔1171.03003 螺柱日志。 91,第2期,239-271(2009)。MSC公司:03A05号 PDF格式BibTeX公司 XML格式引用 \textit{M.Hsiung},Stud.Log。91,第2号,239--271(2009;Zbl 1171.03003) 全文: 内政部
Norihiro Kamide 结合经典否定和次一致否定的证明系统。 (英语) Zbl 1171.03012号 螺柱日志。 91,第2期,217-238(2009)。MSC公司:03B53号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},螺柱日志。91,第2号,217--238(2009;Zbl 1171.03012) 全文: 内政部
Micha Kozakł 分布全Lambek演算具有有限模型性质。 (英语) Zbl 1183.03021号 螺柱日志。 91,第2期,201-216(2009)。 审核人:西昌(北京) MSC公司:03B47号 03B25号 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{M.Kozak},研究日志。91,第2号,201--216(2009;Zbl 1183.03021) 全文: 内政部
阿戈斯蒂尼奥·阿尔梅达 带否定格的规范扩张和关系表示。 (英语) Zbl 1172.03032号 螺柱日志。 91,第2期,171-199(2009)。 审核人:近藤敏郎(Inzai) MSC公司:03G10年 PDF格式BibTeX公司 XML格式引用 \textit{A.Almeida},螺柱日志。91,第2号,171--199(2009;Zbl 1172.03032) 全文: 内政部
卢卡·阿尔贝鲁奇;亚历山德罗·法奇尼 关于模态演算和哥德尔逻辑。 (英语) Zbl 1201.03008号 螺柱日志。 91,第2期,145-169(2009)。MSC公司:03B45号 03层45 PDF格式BibTeX公司 XML格式引用 \textit{L.Alberucci}和\textit{A.Facchini},研究日志。91,第2号,145--169(2009;Zbl 1201.03008) 全文: 内政部 链接