Proof Nets for Basic Discontinuous Lambek Calculus |
| |
| Authors: | Morrill Glyn; Fadda Mario |
| |
| Affiliation: | Universitat Politècnica de Catalunya E-mail: mfadda{at}lsi.upc.edu, morrill{at}lsi.upc.edu |
| |
| Abstract: | The theory of proof nets for continuity based on the Lambekcalculus is well-developed, but we need a compatible extensionto include discontinuity. Earlier work set out ingredients:hypersequent calculus and proof nets expanded with parameteredges. This article completes a preliminary line by finalizinga version of proof nets for the basic discontinuous Lambek calculusBDLC (the minimal system with one point of discontinuity) andproving correctness with respect to the hypersequent calculus. |
| |
| Keywords: | |
| 本文献已被 Oxford 等数据库收录！ |
