Non-linear Second Order Abstract Categorial Grammars and Deletion

9 pages•Published: July 7, 2015

Abstract

We prove that non-linear second order Abstract Categorial Grammars
(2ACGs) are equivalent to non-deleting 2ACGs. We prove this result
first by using the intersection types discipline. Then we explain
how coherence spaces can yield the same result. This result shows
that restricting the Montagovian approach to natural language
semantics to use only $\L I$-terms has no impact in terms of the
definable syntax/semantics relations.

Keyphrases: abstract categorial grammars, coherence spaces, linear logic, typing

In: Makoto Kanazawa, Lawrence S. Moss and Valeria de Paiva (editors). NLCS'15. Third Workshop on Natural Language and Computer Science, vol 32, pages 64-72.

Links:	https://easychair.org/publications/paper/W47
	https://doi.org/10.29007/644d

BibTeX entry

@inproceedings{NLCS'15:Non_linear_Second_Order,
  author    = {Sylvain Salvati},
  title     = {Non-linear Second Order Abstract Categorial Grammars and Deletion},
  booktitle = {NLCS'15. Third Workshop on Natural Language and Computer Science},
  editor    = {Makoto Kanazawa and Lawrence S. Moss and Valeria de Paiva},
  series    = {EPiC Series in Computing},
  volume    = {32},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/W47},
  doi       = {10.29007/644d},
  pages     = {64-72},
  year      = {2015}}

Download PDF Open PDF in browser