Michaël Moortgat. The Tamari order for D³ and derivability in semi-associative Lambek-Grishin Calc.
Channel: Computational Logic and Applications
Date: 2020-10-12

15th Workshop
Computational Logic and Applications (https://cla.tcs.uj.edu.pl/)
12-13 October 2020

Speaker: Michaël Moortgat
Title: The Tamari order for D³ and derivability in semi-associative Lambek-Grishin Calculus
Abstract:
This is work in progress on extending the Tamari order for the two-dimensional Dyck language D² of well-balanced parentheses to the three-dimensional case, and on modelling the Tamari order for D³ in terms of derivability in an extended version of Lambek's (1961) Syntactic Calculus going back to V.N. Grishin (1983).