Natural language semantics in biproduct dagger categories

Biproduct dagger categories serve as models for natural language. In particular, the biproduct dagger category of finite dimensional vector spaces over the field of real numbers accommodates both the extensional models of predicate calculus and the intensional models of quantum logic. The morphisms representing the extensional meanings of a grammatical string are translated to morphisms representing the intensional meanings such that truth is preserved. Pregroup grammars serve as the tool that transforms a grammatical string into a morphism. The chosen linguistic examples concern negation, relative noun phrases, comprehension and quantifiers.

[1]  Bart Jacobs,et al.  Quantum Logic in Dagger Kernel Categories , 2009, QPL@MFPS.

[2]  Dov M. Gabbay,et al.  Handbook of Philosophical Logic , 2002 .

[3]  Samson Abramsky,et al.  A categorical semantics of quantum protocols , 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..

[4]  Richard Moot.  The Logic of Categorial Grammars: A deductive account of natural language syntax and semantics , 2012 .

[5]  D. Everett.  Cultural Constraints on Grammar and Cognition in Pirahã , 2005, Current Anthropology.

[6]  Dimitri Kartsaklis,et al.  Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras , 2014, ArXiv.

[7]  Dominic Widdows,et al.  Geometry and Meaning , 2004, Computational Linguistics.

[8]  S. Clark,et al.  A Compositional Distributional Model of Meaning , 2008 .

[9]  Anne Preller,et al.  Pregroup Grammars with Linear Parsing of the French verb phrase , 2007 .

[10]  Paul Portner,et al.  Formal Semantics: The Essential Readings , 2002 .

[11]  Anne Preller.  From Functional to Distributional Models , 2013 .

[12]  Anne Preller,et al.  Free compact 2-categories , 2007, Mathematical Structures in Computer Science.

[13]  Peter Selinger,et al.  Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract) , 2007, QPL.

[14]  S. Lane.  Categories for the Working Mathematician , 1971 .

[15]  Joachim Lambek,et al.  Type Grammar Revisited , 1997, LACL.

[16]  C. J. van Rijsbergen,et al.  The geometry of information retrieval , 2004 .