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)
Clitic movement in pregroup grammar: a cross-linguistic approach
TbiLLC'09 Proceedings of the 8th international tbilisi conference on Logic, language, and computation
Agreement and cliticization in italian: a pregroup analysis
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
Hi-index | 0.00 |
Before one can attach a meaning to a sentence, one must distinguish different ways of parsing it. When analysing a language with pregroup grammars, we are thus led to replace the free pregroup by a free compact strict monoidal category. Since a strict monoidal category is a 2-category with one 0-cell, we investigate the free compact 2-category generated by a given category, and describe its 2-cells as labelled transition systems. In particular, we obtain a decision procedure for the equality of 2-cells in the free compact 2-category.