arXiv Open Access 2020

Logical foundations for hybrid type-logical grammars

Richard Moot Symon Stevens-Guille

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

cs.CL math.LO

Penulis (2)

Richard Moot

Symon Stevens-Guille

Format Sitasi

APA MLA BibTeX

Moot, R., Stevens-Guille, S. (2020). Logical foundations for hybrid type-logical grammars. https://arxiv.org/abs/2009.10387

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2020
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓