Proof syntax of discontinuity
Our concern is characterisation of the intrinsic geometry of
categorial proof nets for the kinds of discontinuity attested in language. We
make the following contributions: proof nets for the in situ binder type
Q(B,A,C) of Moortgat (1991/96), treated as a unit, and both sequent calculus
and proof nets for the sorted discontinuity calculus of Morrill (1995a,
appendix), in which Q can be defined.
Glyn Morrill