Lambek Calculus with Banged Atoms for Parasitic Gaps - Département d'informatique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2024

Lambek Calculus with Banged Atoms for Parasitic Gaps

Résumé

Lambek Calculus is a non-commutative substructural logic for formalising linguistic constructions. However, its domain of applicability is limited to constructions with local dependencies. We propose here a simple extension that allows us to formalise a range of relativised constructions with long distance dependencies, notably medial extractions and the challenging case of parasitic gaps. In proof theoretic terms, our logic combines commutative and non-commutative behaviour, as well as linear and non-linear resource management. This is achieved with a single restricted modality. But unlike other extensions of Lambek Calculus with modalities, our logic remains decidable, and the complexity of proof search (i.e., sentence parsing) is the same as for the basic Lambek calculus. Furthermore, we provide not only a sequent calculus, and a cut elimination theorem, but also proof nets.
Fichier principal
Vignette du fichier
main-final.pdf (375.35 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04569184 , version 1 (06-05-2024)

Licence

Paternité - Pas d'utilisation commerciale

Identifiants

  • HAL Id : hal-04569184 , version 1

Citer

Mehrnoosh Sadrzadeh, Lutz Straßburger. Lambek Calculus with Banged Atoms for Parasitic Gaps. 2024. ⟨hal-04569184⟩
0 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More