The Lambek-Grishin calculus is NP-complete
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.
cs.CL↗
arXiv subjects
Jeroen Bransen
Publications and source records attributed to Jeroen Bransen.