阿兰·勒科姆 证明网、混合逻辑和极简表示。 （英语） Zbl 0971.03032号 语法 3，编号2-3，243-257（2000）. 摘要：在本文中，我们旨在通过引用线性逻辑中的证明网的概念，对极简主义文法的表示论观点进行逻辑解释。同时，我们提出了一种混合逻辑，它混合了一种逻辑（Lambek演算）用于建立初等证明，另一种逻辑用于组合由此获得的证明。由于第一个逻辑是非交换的，而第二个逻辑是可交换的，这给我们带来了一种在同一框架中结合交换性和非交换性的方法。证明网中的删减动态被用于形式化移动操作。否则，我们提倡一种证明网形式主义，它允许我们将公式视为节点，可以为其分配权重，从而确定最终的语音解释。 MSC公司： 03B65号 自然语言逻辑 03楼52 线性逻辑和其他子结构逻辑的理论证明 03B47型 子结构逻辑（包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑） 关键词：生成语法；类型逻辑语法；兰贝克微积分；校对网；线性逻辑；混合逻辑 PDF格式BibTeX公司 XML格式引用 \textit{A.Lecomte}，语法3，No.2--3，243--257（2000；Zbl 0971.03032） 全文： 内政部