BriefGPT.xyz
May, 2014
混合类型逻辑语法、一阶线性逻辑与 λ 语法的描述不足
Hybrid Type-Logical Grammars, First-Order Linear Logic and the Descriptive Inadequacy of Lambda Grammars
HTML
PDF
Richard Moot
TL;DR
本研究表明混合类型逻辑语法是一阶线性逻辑的一个片段，并提供了新的证明理论和解析策略。同时，还揭示了λ语法/抽象范畴语法存在超生成问题和句法-语义界面问题等独特问题。
Abstract
In this article we show that
hybrid type-logical grammars
are a fragment of
first-order linear logic
. This embedding result has several important consequences: it not only provides a simple new
→