The Grail Theorem Prover: Type Theory for Syntax and Semantics - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Accéder directement au contenu
Chapitre D'ouvrage Année : 2017

The Grail Theorem Prover: Type Theory for Syntax and Semantics

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Origine : Fichiers produits par l'(les) auteur(s)
Origine : Fichiers produits par l'(les) auteur(s)
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

Citer

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⟩
283 Consultations
907 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More