Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Logical foundations for 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 normalisation and the subformula property and also present both a sequent and 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 :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [36 references]  Display  Hide  Download
Contributor : Richard Moot <>
Submitted on : Monday, September 21, 2020 - 2:23:53 PM
Last modification on : Friday, June 4, 2021 - 12:32:02 PM
Long-term archiving on: : Thursday, December 3, 2020 - 3:01:39 PM


Files produced by the author(s)


  • HAL Id : lirmm-02944393, version 1



Richard Moot, Symon Jory Stevens-Guille. Logical foundations for hybrid type-logical grammars. 2020. ⟨lirmm-02944393⟩



Record views


Files downloads