*Result*: The Grail theorem prover: Type theory for syntax and semantics
Title:
The Grail theorem prover: Type theory for syntax and semantics
Authors:
Source:
Modern Perspectives in Type Theoretical Semantics, Springer, 2016
Publication Year:
2016
Collection:
Computer Science
Subject Terms:
Document Type:
*Report*
Working Paper
Access URL:
Accession Number:
edsarx.1602.00812
Database:
arXiv
*Further Information*
*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.*