文森特·达诺斯;劳伦特·雷格尼尔 乘法的结构。 （英语） Zbl 0689.03013号 架构（architecture）。数学。逻辑 28，第3期，181-203（1989）. 与当前理论计算机科学的大部分相比，本文通常是经过深思熟虑的，尽管术语与其他术语一样轻松（且不直观）。广义的思想是解释乘法线性逻辑的公式和运算；不是具体的命题，而是一般数据及其处理（分阶段）。在所谓时态逻辑的传统中，如“现在”、“以后”等词，形式主义不包含所考虑解释中隐含阶段的任何显式变量。然而，至少对这位评论家来说，本文比时态逻辑更有说服力，仅仅因为后者仍然致力于普通真函数逻辑中熟悉的命题运算器（就好像这些运算器在熟悉的解释中的特权角色，即功能完整性，将自动转移到任何新的变体中一样）。但是，尽管有标题，本文并没有为其乘法（及其解释）提供类似的令人信服的（完整性）属性。根据第202页，本研究的哲学依据是“当前理论”以及与之相关的特定直觉支持；默默地，在从事线性逻辑理论的圈子里。没有提到直觉支持，无论是几百年的规划经验，还是用目前的行话来说，编程计算经验，也没有高速或其他特定电子计算经验（这可能会修改旧经验提供的“直觉支持”）。在这一总体层面上，还有另一个可能更令人不安的提醒。所谓的时间的逻辑方面，没有明确提到阶段，当然也存在于动力系统的行为中：在这种系统的理论中忽视这些方面仅仅是一个盲点吗？审核人：G.克雷塞尔 引用于2评论引用于98文件 MSC公司： 03B70号 计算机科学中的逻辑 68N25号 操作系统理论 68问题65 抽象数据类型；代数规范 关键词：并行计算程序;乘法线性逻辑 PDF格式BibTeX公司 XML格式引用 \textit{V.Danos}和\textit{L.Regnier}，拱门。数学。逻辑28，第3号，181--203（1989；Zbl 0689.03013） 全文： 内政部 参考文献： [1] 萨博，M.E.：杰赫拉德·根岑作品集。阿姆斯特丹：北荷兰1969·Zbl 0209.30001号 [2] Girard，J.Y.：线性逻辑。理论计算机科学50（1987） [3] Girard，J.Y.：乘法。出席1986年10月在都灵举行的逻辑与计算机科学大会的会议记录 [4] Girard，J.Y.：走向相互作用的几何。出现在1987年6月于博尔德举行的AMS类别会议法案中 [5] Girard，J.Y.：线性逻辑中的量词。1987年1月在切塞纳举行的SILFS会议记录 [6] Danos，V.：证明网络的正确性。草案，巴黎第七大学，1988年3月 [7] 范德维勒（Van de Wiele），J.：林内尔（Jeux en Logique Linéaire）。草案，巴黎第七大学，1988年11月 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。