Download PDFOpen PDF in browserNon-linear Second Order Abstract Categorial Grammars and Deletion9 pages•Published: July 7, 2015AbstractWe 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.
|