范畴演绎的高阶线性逻辑规划
Higher-order Linear Logic Programming of Categorial Deduction
摘要：
我们展示了如何范畴演绎可以实现在高阶（线性）逻辑编程，从而实现解析为演绎的关联和非关联的Lambek演算。这为Lambek范畴文法的句法分析问题提供了一种解决方法，它适用于Lambek范畴文法的各种扩展。
英文摘要：
We show how categorial deduction can be implemented in higher-order (linear) logic programming, thereby realising parsing as deduction for the associative and non-associative Lambek calculi. This provides a method of solution to the parsing problem of Lambek categorial grammar applicable to a variety of its extensions.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
