斯特凡诺·巴拉泰拉 量子相干空间和线性逻辑。 （英语） 兹比尔1211.68241 西奥·雷罗。通知。申请。 44，第4期，419-441（2010）. 概述：量子相干空间是Girard引入的一个量子框架，用于解释线性逻辑的无指数片段。本文的目的是将Girard的解释推广到具有有界指数的线性逻辑子系统。我们提供了有界指数的推导规则，并相应地引入了量子相干空间的有界指数这一新概念。我们表明，后者提供了我们系统的分类模型。为了做到这一点，我们首先研究了量子相干空间范畴的性质。 引用于1文件 MSC公司： 68问题55 计算理论中的语义学 第03页 线性逻辑和其他子结构逻辑的理论证明 关键词：量子相干空间;线性逻辑;有界指数;指称语义学;归一化 PDF格式BibTeX公司 XML格式引用 \textit{S.Baratella}，RAIRO，Theor。通知。申请。44，No.4，419--441（2010；Zbl 1211.68241） 全文： 内政部 欧洲DML 链接 参考文献： [1] S.Abramsky和R.Jagadeesan，乘法线性逻辑的游戏和完全完备性。J.塞姆。日志2（1994）543-574·Zbl 0822.03007号 ·doi:10.2307/2275407 [2] J.M.Ansemil和K.Floret，局部凸空间的直和的对称张量积。《数学研究》129（1998）285-295·Zbl 0931.46005号 [3] M.Barr，*-自治范畴和线性逻辑。数学。结构。公司。科学1（1991）159-178。Zbl0777.18006号·Zbl 0777.18006号 ·doi:10.1017/S0960129500001274 [4] J.R.B.Cockett和R.A.G.Seely，全直觉线性逻辑、双线性逻辑和MIX范畴的证明理论。范畴理论与应用3（1997）85-131。Zbl0879.03022号·Zbl 0879.03022号 [5] J.-Y.Girard，Le Point Aveugle II，Cours de logique，Vers l’imperfection。赫尔曼，巴黎（2007）·Zbl 1243.00004号 [6] 吉拉德，《真理、情态和主体间性》。数学。结构。公司。科学17（2007）1153-1167·Zbl 1146.03003号 ·doi:10.1017/S096012907006342 [7] J.-Y.Girard、A.Scedrov和P.Scott。有界线性逻辑：多项式时间可计算性的模块化方法。理论。计算。科学97（1992）1-66·Zbl 0788.03005号 ·doi:10.1016/0304-3975（92）90386-T [8] S.Mac Lane，《职业数学家分类》。第二版施普林格，柏林（1998）·Zbl 0906.18001号 [9] R.E.Megginson，《巴拿赫空间理论导论》。柏林施普林格（1998）·Zbl 0910.46008号 [10] P.-A.Melliès，线性逻辑的分类语义，可在mellies/上获得。Zbl1206.03052 URI网址：http://www.pps.jussieu.fr/ ·Zbl 1206.03052号 [11] B.F.Redmond，软线性逻辑的多路复用器类别和模型。计算机科学逻辑基础，计算机课堂讲稿。科学。4514，Springer，Berlin（2007）472-485。Zbl1132.03352号·Zbl 1132.03352号 ·doi:10.1007/978-3-540-72734-7_33 [12] P.Selinger，走向高阶量子计算的语义。程序。QPL（2004）127-143。 [13] J.魏德曼，希尔伯特空间中的线性算子。柏林施普林格（1980）·Zbl 0434.47001号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。