The derivability problem for Lambek calculus with one division
DSpace/Manakin Repository
The derivability problem for Lambek calculus with one division
Savateev, Y.
(2006) Artificial Intelligence Preprint Series, volume 56
(Preprint)
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.
show less
Download/Full Text
Open Access version via Utrecht University Repository
See
more statistics
about this item