Logical foundations for hybrid type-logical grammars
Computation and Language
2020-09-23 v1 Logic
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.
Keywords
Cite
@article{arxiv.2009.10387,
title = {Logical foundations for hybrid type-logical grammars},
author = {Richard Moot and Symon Stevens-Guille},
journal= {arXiv preprint arXiv:2009.10387},
year = {2020}
}