The Grail Theorem Prover: Type Theory for Syntax and Semantics

Richard Moot 1, 2
1 TEXTE - Exploration et exploitation de données textuelles
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
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.
Type de document :
Chapitre d'ouvrage
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〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01471644
Contributeur : Richard Moot <>
Soumis le : lundi 20 février 2017 - 11:06:23
Dernière modification le : jeudi 24 mai 2018 - 15:59:23
Document(s) archivé(s) le : dimanche 21 mai 2017 - 13:12:58

Fichiers

chapter (1).pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

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〉

Partager

Métriques

Consultations de la notice

241

Téléchargements de fichiers

479