默多克·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） 全文： 内政部