3 citations · 3 across the 2 of their papers we have counts for
1 paper · 1 filter
Jeroen Bransen
The Lambek-Grishin calculus LG is the symmetric extension of the non-associative Lambek calculus NL. In this paper we prove that the derivability problem for LG is NP-complete.