COMPLEXITY OF SUBCLASSES OF THE INTUITIONISTIC PROPOSITIONAL CALCULUS

被引：3
|
作者：
MINTS, G [1 ]
机构：
[1] ESTONIAN ACAD SCI,INST CYBERNET,TALLINN 200108,ESTONIA,USSR
来源：
BIT | 1992年 / 32卷 / 01期
关键词：
F.1.3; F.4.1;
D O I：
10.1007/BF01995108
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We investigate the complexity of the decision problem for subclasses of the intuitionistic propositonal calculus and present upper bounds for decision procedures locating these subclasses into lower complexity classes like co-NP or polynomial time.
引用
收藏
页码：64 / 69
页数：6
相关论文
共 50 条
12345