The Non-Associative Lambek Calculus with Product in Polynomial Time

We prove, by introducing a new kind of sequent calculus, that the decision problem for the non-associative Lambek calculus with product belongs to PTIME. This solves an open prolem.

• Type: Conference
• Year: 1999
• Where: TABLEAUX
• Authors: Philippe de Groote
• Keywords: Artificial Intelligence, Decision Problem, Non-associative Lambek Calculus, Sequent Calculus, TABLEAUX 1999