Loading...
Loading...

Go to the content (press return)

Computational coverage of type logical grammar: The Montague test

Author
Morrill, G.; Valentin Fernandez, J.
Type of activity
Presentation of work at congresses
Name of edition
Colloque de Syntaxe et Sémantique à Paris
Date of publication
2016
Presentation's date
2015-10-09
Book of congress proceedings
Empirical issues in syntax and semantics 11
First page
141
Last page
170
Project funding
AJUT ICREA ACADEMIA 2011
Repository
http://hdl.handle.net/2117/100544 Open in new window
URL
http://www.cssp.cnrs.fr/eiss11/ Open in new window
Abstract
It is nearly half a century since Montague made his contributions to the field of logical semantics. In this time, computational linguistics has taken an almost entirely statistical turn and mainstream linguistics has adopted an almost entirely non-formal methodology. But in a minority approach reaching back before the linguistic revolution, and to the origins of computing, type logical grammar (TLG) has continued championing the flags of symbolic computation and logical rigor in discrete gramma...
Citation
Morrill, G., Valentín Fernández, J. Computational coverage of type logical grammar: The Montague test. A: Colloque de Syntaxe et Sémantique à Paris. "Empirical issues in syntax and semantics 11". Paris: 2016, p. 141-170.
Keywords
Categorial grammar, Computational grammar, Montague grammar, Montague semantics, Parsing as deduction, Parsing/theorem-proving, Semantic parsing, Type logical grammar
Group of research
LARCA - Laboratory of Relational Algorithmics, Complexity and Learnability

Participants

  • Morrill, Glyn Verden  (author and speaker )
  • Valentin Fernandez Gallart, Jose Oriol  (author and speaker )

Attachments