LACL '97 Selected papers from the Second International Conference on Logical Aspects of Computational Linguistics
A modular and parameterized presentation of pregroup calculus
Information and Computation
Pregroup calculus as a logic functor
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
Bell States and Negative Sentences in the Distributed Model of Meaning
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantic Vector Models and Functional Models for Pregroup Grammars
Journal of Logic, Language and Information
Hi-index | 0.00 |
We describe the derivations in a pregroup grammar as the 2-cells of a free compact 2-category defined by the grammar. The 2-cells of this category are the intermediary parsing structures necessary for a semantic interpretation when pregroups are used in natural language processing. The construction of the free compact 2-category also provides another cut-free axiomatisation of compact bilinear logic.