Proof nets for the Displacement calculus
This work addresses a foundational issue in computational linguistics for researchers working with the Displacement calculus, though it appears incremental as it builds on existing proof net methods.
The authors tackled the problem of modeling the Displacement calculus by developing a proof net calculus, showing its correctness and establishing it as the first direct model without translation into other formalisms.
We present a proof net calculus for the Displacement calculus and show its correctness. This is the first proof net calculus which models the Displacement calculus directly and not by some sort of translation into another formalism. The proof net calculus opens up new possibilities for parsing and proof search with the Displacement calculus.