吉安·伊夫·吉拉德 交互几何。三: 容纳添加剂。 (英语) 兹伯利0828.03027 Girard,Jean-Yves(编辑)等人,《线性逻辑的进展》。基于1993年6月14日至18日在美国纽约州伊萨卡康奈尔大学数学科学研究所举行的线性逻辑研讨会。剑桥:剑桥大学出版社。伦敦。数学。Soc.Lect(社会学)。注释序列号。222, 329-389 (1995). [关于第一部分和第二部分的审查,请参见Zbl 0686.03030号和Zbl 0716.03047号分别为。]这篇论文与作者的《论相互作用的几何》一致[Zbl 0828.03026号].关于整个系列,请参见[Zbl 0816.00018号].审核人:G.Mints(斯坦福) 引用于4评论引用于26文件 MSC公司: 05年3月 切割消除和正规形定理 03B20型 经典逻辑子系统(包括直觉逻辑) 03B70号 计算机科学中的逻辑 68N17号 逻辑编程 46升99 Selfadjoint算子代数(C^*-代数、von Neumann(W^*-)代数等) 68问题55 计算理论中的语义学 关键词:线性逻辑;\(C^*\)-代数;统一;切削消除;逻辑程序设计;扩展序列演算 引文:Zbl 0686.03030号;Zbl 0716.03047号;Zbl 0828.03026号 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Girard},伦敦。数学。Soc.Lect(社会学)。注释序列号。222329-389(1995年;Zbl 0828.03027)