Proof-Theoretic Aspects of Hybrid Type-Logical Grammars - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Conference Papers Year : 2019

Proof-Theoretic Aspects of Hybrid Type-Logical Grammars


This paper explores proof-theoretic aspects of hybrid type-logical grammars, a logic combining Lambek grammars with lambda grammars. We prove some basic properties of the calculus, such as nor-malisation and the subformula property and also present a proof net calculus for hybrid type-logical grammars. In addition to clarifying the logical foundations of hybrid type-logical grammars, the current study opens the way to variants and extensions of the original system, including but not limited to a non-associative version and a multimodal version incorporating structural rules and unary modes.
Fichier principal
Vignette du fichier
htlg.pdf (178.84 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

lirmm-02268104 , version 1 (20-08-2019)



Richard Moot, Symon Jory Stevens-Guille. Proof-Theoretic Aspects of Hybrid Type-Logical Grammars. FG 2019 - 24th International Conference on Formal Grammar, Aug 2019, Riga, Latvia. pp.84-100, ⟨10.1007/978-3-662-59648-7_6⟩. ⟨lirmm-02268104⟩
56 View
134 Download



Gmail Facebook X LinkedIn More