论文标题
混合类型语法的逻辑基础
Logical foundations for hybrid type-logical grammars
论文作者
论文摘要
本文探讨了混合类型语法的证明理论方面，这是一种将兰贝克语法与兰巴达语法结合在一起的逻辑。我们证明了演算的某些基本特性，例如归一化和副构造特性，并且还呈现了混合类型逻辑语法的序列和证明净计算。除了阐明混合类型与逻辑语法的逻辑基础外，当前的研究还为原始系统的变体和扩展提供了道路，包括但不限于非缔合性版本以及包含结构性规则和单一模式的多模式版本。
This paper explores proof-theoretic aspects of hybrid type-logical grammars , a logic combining Lambek grammars with lambda grammars. We prove some basic properties of the calculus, such as normalisation and the subformula property and also present both a sequent and a proof net calculus for hybrid type-logical grammars. In addition to clarifying the logical foundations of hybrid type-logical grammars, the current study opens the way to variants and extensions of the original system, including but not limited to a non-associative version and a multimodal version incorporating structural rules and unary modes.
