The Lambek-Grishin calculus is NP-complete

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.

Knowledge Graph

arrow_drop_up

Comments

Sign up or login to leave a comment