Proof Nets for Basic Discontinuous Lambek Calculus
Glyn V. Morrill, Mario Fadda · Journal of Logic and Computation · 2007
The theory of proof nets for continuity based on the Lambek calculus is well-developed, but we need a compatible extension to include discontinuity. Earlier work set out ingredients: hypersequent calculus and proof nets expanded with parameter edges. This article completes a preliminary line by finalizing a version of proof nets for the basic discontinuous Lambek calculus BDLC (the minimal system with one point of discontinuity) and proving correctness with respect to the hypersequent calculus.