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.

• Type: Journal
• Year: 2010
• Where: CORR
• Authors: Jeroen Bransen
• Keywords: Calculus, CORR 2010, Education, Non-associative Lambek, Symmetric Extension