The Grail Theorem Prover: Type Theory for Syntax and Semantics - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Book Sections Year : 2017

The Grail Theorem Prover: Type Theory for Syntax and Semantics

Abstract

Type-logical grammars use a foundation of logic and type theory to model natural language. These grammars have been particularly successful giving an account of several well-known phenomena on the syntax-semantics interface, such as quantifier scope and its interaction with other phenomena. This chapter gives a high-level description of a family of theorem provers designed for grammar development in a variety of modern type-logical grammars. We discuss automated theorem proving for type-logical grammars from the perspective of proof nets, a graph-theoretic way to represent (partial) proofs during proof search.
Fichier principal
Vignette du fichier
chapter (1).pdf (237.22 Ko) Télécharger le fichier
chapter.pdf (237.22 Ko) Télécharger le fichier
exam.pdf (17.48 Ko) Télécharger le fichier
exam2.pdf (17.46 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Origin Files produced by the author(s)
Origin Files produced by the author(s)
Origin Files produced by the author(s)

Dates and versions

lirmm-01471644 , version 1 (20-02-2017)

Identifiers

Cite

Richard Moot. The Grail Theorem Prover: Type Theory for Syntax and Semantics. Zhaohui Luo; Stergios Chatzikyriakidis. Modern Perspectives in Type-Theoretical Semantics, Studies in Linguistics and Philosophy (98), Springer, pp.247-277, 2017, Part III, 978-3-319-50420-9. ⟨10.1007/978-3-319-50422-3_10⟩. ⟨lirmm-01471644⟩
290 View
920 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More