M. Hepple. 1994. Discontinuity and the Lambek Calculus. Proceedings of the 15th International Conference on Computational Linguistics (COLING'94). pp 1235-1239. Kyoto, Japan. August 1994.


Abstract:

This paper is concerned with the treatment of discontinuous constituency within Categorial Grammar. In particular, I address the problem of providing an adequate formalisation of categorial connectives proposed by Moortgat (1988), which are useful for handling certain forms of discontinuous constituency. Despite some interesting proposals, a satisfactory logic for these connectives has so far remained elusive. I will provide such a logic, using an approach that falls within the general framework of labelled deductive systems (Gabbay, 1991), employing novel methods for reasoning about linear order in resource usage. The approach is illustrated by linguistic applications for extraction, pied-piping and quantification.