Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have