The Grail theorem prover: Type theory for syntax and semantics

Abstract : As the name suggests, type-logical grammars are a grammar formalism based on logic and type theory. From the prespective of grammar design, type-logical grammars develop the syntactic and semantic aspects of linguistic phenomena hand-in-hand, letting the desired semantics of an expression inform the syntactic type and vice versa. Prototypical examples of the successful application of type-logical grammars to the syntax-semantics interface include coordination, quantifier scope and extraction. This chapter describes the Grail theorem prover, a series of tools for designing and testing grammars in various modern type-logical grammars which functions as a tool . All tools described in this chapter are freely available.
Type de document :
Chapitre d'ouvrage
Zhaohui Luo; Stergios Chatzikyriakidis. Modern Perspectives in Type Theoretical Semantics, Springer, 2016
Liste complète des métadonnées

https://hal.inria.fr/hal-01265969
Contributeur : Richard Moot <>
Soumis le : vendredi 26 août 2016 - 01:55:50
Dernière modification le : jeudi 11 janvier 2018 - 06:27:34
Document(s) archivé(s) le : dimanche 27 novembre 2016 - 12:06:19

Fichiers

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

Licence


Distributed under a Creative Commons Paternité - Pas d'utilisation commerciale - Pas de modification 4.0 International License

Identifiants

  • HAL Id : hal-01265969, version 2
  • ARXIV : 1602.00812

Collections

Citation

Richard Moot. The Grail theorem prover: Type theory for syntax and semantics. Zhaohui Luo; Stergios Chatzikyriakidis. Modern Perspectives in Type Theoretical Semantics, Springer, 2016. 〈hal-01265969v2〉

Partager

Métriques

Consultations de la notice

92

Téléchargements de fichiers

32