1 A topological correctness criterion for multiplicative non-commutative logic
1 A topological correctness criterion for multiplicative non-commutative logic
复制标题
1 乘法非交换逻辑的拓扑正确性准则
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
P. Scott
中科院分区：
文献类型：
--
作者：
Paul;Thomas;Ehrhard;J. Girard;P. Ruet;P. Scott
通过将带状图与每一个开关相关联，并要求它与圆盘同胚，以拓扑的方式给出了乘法线性逻辑（MLL）的吉拉德长途旅行判据。然后，我们将著名的乘法循环线性逻辑（McyLL）的平面性准则推广到乘法非交换逻辑（MNL），并证明了所得到的平面性准则等价于Abrusci和Ruet原来的长途旅行准则。1.
We formulate Girard’s long trip criterion for multiplicative linear logic (MLL) in a topological way, by associating a ribbon diagram to every switching, and requiring that it is homeomorphic to the disk. Then, we extend the well-known planarity criterion for multiplicative cyclic linear logic (McyLL) to multiplicative non-commutative logic (MNL) and show that the resulting planarity criterion is equivalent to Abrusci and Ruet’s original long trip criterion for MNL. 1.