弗朗索瓦·拉马克;卢茨斯特拉斯堡 从证明网到自由*-自治类别。 （英语） Zbl 1127.03044号 日志。方法计算。科学。 2，第4号，论文3，44页（2006年）. 摘要：在本文的第一部分中，我们提出了一个全乘性线性逻辑的证明网理论，包括这两个单位。它自然地扩展了众所周知的无单位乘法证明网理论。链接不再是一组公理链接，而是公理链接是子树的树。这些树将根据基于简单形式的图重写的等价关系来识别。我们展示了序列化的标准结果和切割消除的强归一化。在本文的第二部分中，我们证明了在证明上实施的标识是这样的，即双结论证明网类定义了自由*-自治范畴。 引用于7文件 MSC公司： 03楼52 线性逻辑和其他子结构逻辑的证明论方面 05年3月 切割消除和正规形定理 18日第10天 单线、对称单线和编织线类别（MSC2010） 关键词：全乘法线性逻辑 PDF格式BibTeX公司 XML格式引用 \textit{F.Lamarche}和\textit{L.Strassburger}，Log。方法计算。科学。2，第4号，论文3，44页（2006年；Zbl 1127.03044） 全文： 内政部