Relational Semantics for the Lambek-Grishin Calculus

We study ternary relational semantics for LG: a symmetric version of the Lambek calculus with interaction principles due to Grishin [10]. We obtain completeness on the basis of a Henkin-style weak filter construction.

[1]  Richard Moot,et al.  Lambek Grammars, Tree Adjoining Grammars and Hyperedge Replacement Grammars , 2008, TAG.

[2]  Michael Moortgat,et al.  Continuation Semantics for Symmetric Categorial Grammar , 2007, WoLLIC.

[3]  M. Moortgat.  Generalized quantifiers and discontinuous type constructors , 1996 .

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

[5]  N. Kurtonina,et al.  Frames and Labels. A modal analysis of categorial inference , 1995 .

[6]  Glyn Morrill,et al.  Type Logical Grammar: Categorial Logic of Signs , 1994 .

[7]  Peter Jipsen,et al.  Residuated lattices: An algebraic glimpse at sub-structural logics , 2007 .

[8]  Mai Gehrke,et al.  Generalized Kripke Frames , 2006, Stud Logica.

[9]  Michael Moortgat,et al.  Multimodal linguistic inference , 1995, J. Log. Lang. Inf..

[10]  Rajeev Goré,et al.  Substructural Logics on Display , 1998, Log. J. IGPL.

[11]  Matteo Capelletti,et al.  Parsing with Structure Preserving Categorial Grammars , 2007 .

[12]  R. Seely,et al.  Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories. , 1997 .

[13]  Richard Moot,et al.  Proof nets for display logic , 2007, ArXiv.

[14]  Willemien Katrien Vermaat,et al.  The logic of variation : A cross-linguistic account of wh-question formation , 2005 .

[15]  Philippe de Groote,et al.  The Non-Associative Lambek Calculus with Product in Polynomial Time , 1999, TABLEAUX.

[16]  N. Kurtonina,et al.  Frames and Labels , 1995 .

[17]  H. Ono,et al.  Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Volume 151 , 2007 .

[18]  Mati Pentus,et al.  Lambek calculus is NP-complete , 2006, Theor. Comput. Sci..