Discontinuity and the Lambek calculus
Mark Hepple · 1994
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, piedpiping and quantification.