西利，R.A.G。 线性逻辑、*-自治范畴和余自由余代数。 （英语） Zbl 0674.03007号 计算机科学和逻辑分类，Proc。AMS-IMS-SIAM Jt.公司。1987年科罗拉多州博尔德市夏季研究会议。数学。92, 371-382 (1989). [关于整个系列，请参见Zbl 0667.00009.]结果表明J.-Y.吉拉德的线性逻辑[Theor.Comput.Sci.50，1-102（1987；Zbl 0625.03037号)]和*-自治类别M.巴尔[*-自治类别（1979年；Zbl 0415.18008号)]类似于（lambda）-演算和笛卡尔闭范畴之间的关系（*-自治范畴是具有有限乘积和闭对合*的对称单体闭范畴）。研究了一些重要问题。例如，Girard的线性逻辑不允许没有指数的公式收缩！。事实证明！可以被认为是一个共三元组，它将对象a上关于笛卡尔乘积的规范共单体结构传递给上的共单体构造！关于张量积的A。定义的一些方面！进行了讨论。审核人：S.V.索洛夫 引用于4评论引用于77文件 MSC公司： 03B70号 计算机科学中的逻辑 18日第15天 闭范畴（闭单体和笛卡尔闭范畴等） 03G30型 分类逻辑，拓扑 关键词：线性逻辑;*-自治类别 引文：Zbl 0667.00009;Zbl 0625.03037号;Zbl 0415.18008号 PDF格式BibTeX公司 XML格式