On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar

Philippe de Groote (1) , Sylvain Pogodalla (1) , Carl Pollard (2)

1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
2 Department of Linguistics [Ohio]

Cooper's storage technique for scoping in situ operators has been employed in theoretical and computational grammars of natural language (NL) for over thirty years, but has been widely viewed as ad hoc and unprincipled. Recent work by Pollard within the framework of convergent grammar (CVG) took a step in the direction of clarifying the logical status of Cooper storage by encoding its rules within an explicit but nonstandard natural deduction (ND) format. Here we provide further clarification by showing how to encode a CVG with storage within a logical grammar framework---abstract categorial grammar (ACG)---that utilizes no logical resources beyond those of standard linear deduction.

Mots clés: syntax-semantics interface; type theory

Domaines: Informatique et langage [cs.CL]

Philippe de Groote, Sylvain Pogodalla, Carl Pollard. On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar. Logic, Language, Information and Computation: 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, Jun 2009, Tokyo, Japan. pp.182-196, ⟨10.1007/978-3-642-02261-6_15⟩. ⟨inria-00390490⟩