The derivability problem for Lambek calculus with one division
Publication date
2006-12
Authors
Savateev, Y.
Editors
Advisors
Supervisors
DOI
Document Type
Preprint
Metadata
Show full item recordCollections
License
Abstract
In this paper we prove that the derivability problem for Lambek
calculus with one division is decidable in polynomial time and present
an algorithm for it.