The product-free Lambek-Grishin calculus is NP-complete

  • Authors:

  • Jeroen Bransen

  • Affiliations:

  • Utrecht University, The Netherlands

  • Venue:
  • LACL'11 Proceedings of the 6th international conference on Logical aspects of computational linguistics
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

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 the product-free fragment of LG is NPcomplete, thus improving on Bransen (2010) where this is shown for LG with product.