Lambek Calculus with a Unit and One Division

被引：2
|
作者：
Kuznetsov, S. D. [1 ]
机构：
[1] Moscow MV Lomonosov State Univ, Fac Mech & Math, Moscow 119991, Russia
来源：
MOSCOW UNIVERSITY MATHEMATICS BULLETIN | 2011年 / 66卷 / 04期
基金：
俄罗斯基础研究基金会;
关键词：
D O I：
10.3103/S0027132211040085
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
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.
引用
收藏
页码：173 / 175
页数：3
相关论文
共 50 条
12345