混合类型逻辑语法、一阶线性逻辑以及 Lambda 语法的描述不充分性
计算机科学中的逻辑
2014-05-27 v1 计算与语言
摘要
在本文中，我们证明了混合类型逻辑语法是一阶线性逻辑的一个片段。这一嵌入结果具有几个重要推论：它不仅为该演算提供了一个简单的新证明论，从而阐明了混合类型逻辑语法的证明论基础，而且由于该翻译简单直接，还为混合类型逻辑语法提供了多种新的解析策略。其次，混合类型逻辑语法的 NP 完全性随之直接得出。主要的嵌入结果也为 lambda 语法/抽象范畴语法的问题提供了新视角，并表明 lambda 语法/抽象范畴语法存在过度生成问题以及不同于其他任何范畴语法的句法 - 语义接口问题。
引用
@article{arxiv.1405.6678,
title = {Hybrid Type-Logical Grammars, First-Order Linear Logic and the Descriptive Inadequacy of Lambda Grammars},
author = {Richard Moot},
journal= {arXiv preprint arXiv:1405.6678},
year = {2014}
}