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

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.

[1]  Carl Pollard,et al.  Covert Movement in Logical Grammar , 2011, Logic and Grammar.

[2]  Gerald Gazdar,et al.  Unbounded Dependencies and Coordinate Structure , 1981 .

[3]  Sylvain Pogodalla,et al.  Generalizing a Proof-Theoretic Account of Scope Ambiguity , 2007 .

[4]  Barbara H. Partee,et al.  Anaphora and Semantic Structure , 2008 .

[5]  J. Lambek.  The Mathematics of Sentence Structure , 1958 .

[6]  Richard Montague,et al.  The Proper Treatment of Quantification in Ordinary English , 1973 .

[7]  Haskell B. Curry,et al.  Some logical aspects of grammatical structure , 1961 .

[8]  Philippe de Groote,et al.  Type-theoretic extensions of Abstract Categorial Grammars , 2007 .

[9]  Robin Cooper,et al.  Quantification and Syntactic Theory , 1983 .

[10]  Philippe de Groote,et al.  Towards Abstract Categorial Grammars , 2001, ACL.

[11]  C. Pollard.  The calculus of responsibility and commitment , 2011 .

[12]  Francis Jeffry Pelletier,et al.  Representation and Inference for Natural Language: A First Course in Computational Semantics , 2005, Computational Linguistics.

[13]  Robin Hayes Cooper,et al.  MONTAGUE'S SEMANTIC THEORY AND TRANSFORMATIONAL SYNTAX. , 1975 .

[14]  Ivan A. Sag,et al.  Book Reviews: Head-driven Phrase Structure Grammar and German in Head-driven Phrase-structure Grammar , 1996, CL.

[15]  Jaakko Hintikka,et al.  Approaches to natural language : proceedings of the 1970 Stanford workshop on grammar and semantics , 1973 .

[16]  Anders Søgaard,et al.  Patrick Blackburn and Johan Bos, Representation and Inference for Natural Language , 2007, Stud Logica.

[17]  Sylvain Pogodalla,et al.  On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms , 2004, J. Log. Lang. Inf..