多米尼克·J·D·休斯。;罗布·范·格拉贝克。 无单位乘加线性逻辑的证明网。 (英语) Zbl 1367.03111号 ACM事务处理。计算。日志。 6,第4期,784-842(2005). 引用于21文件 MSC公司: 03楼52 线性逻辑和其他子结构逻辑的理论证明 05年3月 切割消除和正规形定理 07年3月 证明的结构 关键词:线性逻辑;添加剂;切割消除;防护网 PDF格式BibTeX公司 XML格式引用 \textit{D.J.D.Hughes}和\textit{R.J.van Glabbeek},ACM Trans。计算。日志。6,第4号,784--842(2005;Zbl 1367.03111) 全文: DOI程序 链接