Lambek calculus is NP-complete

Mati Pentus. Lambek calculus is NP-complete. Theoretical Computer Science, 357(1-3):186-201, 2006. [doi]

Abstract

Abstract is missing.