Logical foundations for hybrid type-logical grammars - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Journal Articles Journal of Logic, Language and Information Year : 2022

Logical foundations for hybrid type-logical grammars

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.
Fichier principal
Vignette du fichier
journal_htlg.pdf (358.23 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

lirmm-02944393 , version 1 (21-09-2020)

Identifiers

Cite

Richard Moot, Symon Jory Stevens-Guille. Logical foundations for hybrid type-logical grammars. Journal of Logic, Language and Information, 2022, 31, pp.35-76. ⟨10.1007/s10849-021-09348-5⟩. ⟨lirmm-02944393⟩
53 View
48 Download

Altmetric

Share

Gmail Facebook X LinkedIn More