Skip to Main content Skip to Navigation
Conference papers

Proof-Theoretic Aspects of Hybrid Type-Logical Grammars

Richard Moot 1 Symon Jory Stevens-Guille 2 
1 TEXTE - Exploration et exploitation de données textuelles
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : 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.
Document type :
Conference papers
Complete list of metadata
Contributor : Richard Moot Connect in order to contact the contributor
Submitted on : Tuesday, August 20, 2019 - 1:03:20 PM
Last modification on : Friday, August 5, 2022 - 3:03:22 PM
Long-term archiving on: : Friday, January 10, 2020 - 9:24:12 PM


Files produced by the author(s)




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⟩



Record views


Files downloads