HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

The Non-associative Lambek calculus with product in polynomial time

Philippe de Groote 1
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We prove, by introducing a new kind of sequent calculus, that the decision problem for the non-associative Lambek calculus with \mbox{product} belongs to PTIME. This solves an open problem.
Document type :
Conference papers
Complete list of metadata

Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Thursday, October 19, 2006 - 3:40:44 PM
Last modification on : Friday, February 4, 2022 - 3:32:28 AM


  • HAL Id : inria-00108070, version 1



Philippe de Groote. The Non-associative Lambek calculus with product in polynomial time. Automatic Reasoning with Analytic Tableaux and Related Methods, Jun 1999, Saratoga Springs, NY USA, pp.128-139. ⟨inria-00108070⟩



Record views