米歇尔·帕加尼 乘法线性逻辑中的证明、指称语义和观察等价。 （英语） Zbl 1124.03035号 数学。结构。计算。科学。 17，第2期，341-359（2007）. 作者利用MIX规则研究了乘法线性逻辑的完全完备性和句法可分性。他用MIX规则给出了证明网的相干空间特征，并定义了此类网的观测等价概念。审核人：弗拉基米尔·科门丹斯基（索菲亚·安蒂波利斯） 引用于三文件 MSC公司： 第03页 线性逻辑和其他子结构逻辑的理论证明 03B70号 计算机科学中的逻辑 关键词：乘法线性逻辑；观察等价；验证结构 PDF格式BibTeX公司 XML格式引用 \textit{M.Pagani}，数学。结构。计算。科学。17，第2号，341--359（2007；Zbl 1124.03035） 全文： 内政部