Non-linear Second Order Abstract Categorial Grammars and Deletion
Keyword(s):
We prove that non-linear second order Abstract Categorial Grammars(2ACGs) are equivalent to non-deleting 2ACGs. We prove this resultfirst by using the intersection types discipline. Then we explainhow coherence spaces can yield the same result. This result showsthat restricting the Montagovian approach to natural languagesemantics to use only $\L I$-terms has no impact in terms of thedefinable syntax/semantics relations.
2018 ◽
Keyword(s):
2020 ◽
Vol 415
◽
pp. 109490
◽
2009 ◽
Vol 10
(3)
◽
pp. 1912-1922
◽
2005 ◽
Vol 2005
(19)
◽
pp. 3857-3874
◽
1994 ◽
Vol 35
(4)
◽
pp. 445-468
◽
Keyword(s):
Keyword(s):
2012 ◽
Vol 6
(9)
◽
pp. 1319
◽