Lambek calculus with a unit and one division |
| |
Authors: | S D Kuznetsov |
| |
Institution: | 1.Faculty of Mechanics and Mathematics,Moscow State University,Leninskie Gory, Moscow,Russia |
| |
Abstract: | In this paper we present a substitution that reduces the derivability in the Lambek calculus with a unit and one division
to the derivability in the Lambek calculus with one division permitting empty antecedents. Using this substitution, we establish
the existence of an algorithm checking the derivability in the Lambek calculus with a unit and one division in polynomial
time. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|