Lambek calculus is NP-complete


We prove that for both the Lambek calculus L and the Lambek calculus allowing empty premises L∗ the derivability problem is NP-complete. It follows that also for the multiplicative fragments of cyclic linear logic and noncommutative linear logic the derivability problem is NP-complete.

DOI: 10.1016/j.tcs.2006.03.018

Extracted Key Phrases


Citations per Year

58 Citations

Semantic Scholar estimates that this publication has 58 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Pentus2006LambekCI, title={Lambek calculus is NP-complete}, author={Mati Pentus}, journal={Theor. Comput. Sci.}, year={2006}, volume={357}, pages={186-201} }