Skip to Main content Skip to Navigation
Conference papers

Proof-Theoretic Aspects of Hybrid Type-Logical Grammars

Symon Jory Stevens-Guille Richard Moot 1 Symon Stevens-Guille
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 <>
Submitted on : Tuesday, August 20, 2019 - 1:03:20 PM
Last modification on : Friday, June 4, 2021 - 12:32:02 PM
Long-term archiving on: : Friday, January 10, 2020 - 9:24:12 PM


Files produced by the author(s)




Symon Jory Stevens-Guille, Richard Moot, Symon Stevens-Guille. Proof-Theoretic Aspects of Hybrid Type-Logical Grammars. FG: Formal Grammar, Aug 2019, Riga, Latvia. pp.84-100, ⟨10.1007/978-3-662-59648-7_6⟩. ⟨lirmm-02268104⟩



Record views


Files downloads