Higher-order Linear Logic Programming of Categorial Deduction

Glyn Morrill
DOI: https://doi.org/10.48550/arXiv.cmp-lg/9502016
1995-02-17
Abstract: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.
Computation and Language
What problem does this paper attempt to address?