Skip to main content

Categories and Types in Logic, Language, and Physics

  • Moortgat M
ISSN: 16113349
Citations of this article
Mendeley users who have this article in their library.


Multidimensional Dyck languages generalize the language of balanced brackets to alphabets of size > 2. Words contain each alphabet symbol with the same multiplicity. In addition, reading a word from left to right, there are always at least as many ai as a(i+1), where aj is the jth alphabet symbol in the lexicographic ordering. We compare the Dyck languages with MIX languages, where the multiplicity constraint is respected, but the order of the symbols is free. To understand the combinatorics of the Dyck languages, we study the bijection with standard Young tableaux of rectangular shape, and, for the three-dimensional case, with planar webs for combinatorial spider categories. We present a typelogical analysis of Dyck languages with an alphabet of size d in terms of a construction that aligns (d-1) grammars for the two-symbol case. © Springer-Verlag Berlin Heidelberg 2014.




Moortgat, M. (2014). Categories and Types in Logic, Language, and Physics. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8222, pp. 279–296). Retrieved from

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free