BriefGPT.xyz
Apr, 2010
位移微积分
Displacement Calculus
HTML
PDF
Glyn Morrill, Oriol Valentín
TL;DR
本文介绍了位移演算为Lambek演算的一般化，它保留了Lambek演算的证明论特性，同时将不连续性融合到其中，并涵盖了它。我们举例说明语言应用，并证明减少消除，子公式属性和可决定性。
Abstract
The
lambek calculus
provides a foundation for categorial grammar in the form of a logic of concatenation. But natural language is characterized by
dependencies
which may also be discontinuous. In this paper we in
→