默多克·J·加贝。;迈克尔·加巴伊 非类型lambda演算在名义格和拓扑语义中的表示和对偶,以及拓扑完备性的证明。 (英语) Zbl 1422.03023号 Ann.纯粹应用。逻辑 168,第3期,501-621(2017).MSC公司:03B40型 06年50月 03C55号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}和\textit{M.Gabbay},Ann.纯粹应用。逻辑168,No.3,501--621(2017;Zbl 1422.03023) 全文: 内政部 arXiv公司 链接
马蒂奥·奇米尼;穆罕默德雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。;默多克·J·加贝。 标称SOS。 (英语) Zbl 1342.68193号 Berger,Ulrich(ed.)等人,第28届编程语义数学基础会议论文集(MFPS XXVIII),英国巴斯,2012年6月6日至9日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记286103-116(2012)。MSC公司:68问题55 68甲18 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Cimini}等人,《电子》。注释Theor。计算。科学。286103--116(2012;Zbl 1342.68193) 全文: 内政部
Gilles Dowek;默多克·J·加贝。 PNL到HOL:从标称集逻辑到高阶函数逻辑。 (英语) Zbl 1309.03013号 西奥。计算。科学。 451, 38-69 (2012).MSC公司:03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}和\textit{M.J.Gabbay},Theor。计算。科学。451、38--69(2012;Zbl 1309.03013) 全文: 内政部 arXiv公司
默多克·J·加贝。 名义代数和逻辑中的有限和无限支持:免费的名义完备性定理。 (英语) Zbl 1251.03035号 J.塞姆。日志。 77,第3期,828-852(2012).MSC公司:03B70号 03C98号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay},J.Symb。日志。77,第3号,828--852(2012;Zbl 1251.03035) 全文: 内政部 arXiv公司 欧几里得
默多克·J·加贝。 名词性方程式推理的统一:名词集合上的等式代数。 (英语) Zbl 1239.03019号 J.应用。日志。 10,第2期,199-217(2012).MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay},J.Appl.(《应用杂志》)。日志。10,第2号,199--217(2012;Zbl 1239.03019) 全文: 内政部
默多克·J·加贝。 两级名词集和语义名词术语:处理元变量的名词集理论的扩展。 (英语) Zbl 1228.68022号 数学。结构。计算。科学。 21,第5期,997-1033(2011).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay},数学。结构。计算。科学。21,编号51997-1033(2011年;兹bl 1228.68022) 全文: 内政部
Gabbay,默多克J。 两级λ-微积分。 (英语) Zbl 1347.68051号 Falaschi,Moreno(编辑),第17届函数和(约束)逻辑编程国际研讨会论文集(WFLP 2008),意大利锡耶纳,2008年7月3日至4日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记246,107-129(2009)。MSC公司:68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay},电子。注释Theor。计算。科学。246107--129(2009年;Zbl 1347.68051) 全文: 内政部
默多克·J·加贝。;迈克尔·加巴伊(Michael J.Gabbay)。 \(a)-带箭头的逻辑。 (英语) Zbl 1283.03064号 Echahed,Rachid(编辑),第16届函数和(约束)逻辑编程国际研讨会论文集(WFLP 2007),法国巴黎,2007年6月25日。精选论文。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记216,3-29(2008)。MSC公司:03B70号 03B10号机组 03B40型 05年3月 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}和\textit{M.J.Garbay},电子。注释Theor。计算。科学。216、3--29(2008年;Zbl 1283.03064) 全文: 内政部
默多克·J·加贝。 新鲜的逻辑:FM和标称技术的证明理论和语义。 (英语) Zbl 1124.03010号 J.应用。日志。 5,第2期,356-387(2007). 审核人:Reinhard Kahle(科英布拉) MSC公司:03B60号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay},J.Appl.(《应用杂志》)。日志。5,编号2,356--387(2007;Zbl 1124.03010) 全文: 内政部