迈克尔·加巴伊-伦敦国王学院

指纹

深入研究Michael Gabbay活跃的研究主题。这些主题标签来自此人的作品。它们一起形成了一个独特的指纹。

非类型λ-演算在名义格和拓扑语义中的表示和对偶，以及拓扑完备性的证明
M.J.加巴伊。&M.J.加巴伊。,2016年10月8日，（印刷前电子出版物）在：纯逻辑和应用逻辑年鉴。
研究成果:对日记账的贡献›第条›同行审查

开放式访问
文件
5 引文（Scopus）

191 下载（纯）
用截断法证明lambda-Reducation：作为逻辑程序设计语言的lambda-CALCULUS
M.加巴伊。,2011,在：符号逻辑杂志。 76,2,第673-699页第27页。
研究成果:对日记账的贡献›第条›同行审查
我们可以与经典逻辑相协调
M.加巴伊。,2007年11月30日
研究成果:非文本形式›Web出版物/网站
/a/-逻辑
M.加巴伊。&M.加巴伊。,2005,我们将向他们展示：纪念Dov Gabbay的论文，第1卷。Artemov，S.、Barringer，H.、d'Avila Garcez，A.、Lamb，L.&Woods，J.（编辑）。伦敦：学院出版物,第731-764页第34页。
研究成果:书籍/报告/会议记录中的章节›第章
自然演绎和目标定向推理中Gabbay重启规则的形式化思考
M.加巴伊。&加贝，M。,2005,我们将向他们展示：纪念Dov Gabbay的论文，第1卷。Artemov，S.、Barringer，H.、d'Avila Garcez，A.、Lamb，L.&Woods，J.（编辑）。伦敦：学院出版物,第701-730页 30页。
研究成果:书籍/报告/会议记录中的章节›第章