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 条

[31] REVISION IN PROPOSITIONAL CALCULUS
PAPINI, O
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 548 : 272 - 276
[32] A CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL LOGIC
MUTI, N
NAGOYA MATHEMATICAL JOURNAL, 1970, 37 : 131 - &
[33] Intuitionistic Propositional Logic in Lean
Trufas, Dafina
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2024, (410):
[34] Intuitionistic propositional probability logic
Ilic-Stepic, Anelina
Knezevic, Mateja
Ognjanovic, Zoran
MATHEMATICAL LOGIC QUARTERLY, 2022, 68 (04) : 479 - 495
[35] Bisimulation and propositional intuitionistic logic
Patterson, A
CONCUR'97 : CONCURRENCY THEORY, 1997, 1243 : 347 - 360
[36] Interpreting intuitionistic propositional logic in terms of intuitionistic protothetics
Yashin A.D.
Algebra and Logic, 2002, 41 (1) : 59 - 64
[37] ON THE RESTRICTED EQUIVALENCE FOR SUBCLASSES OF PROPOSITIONAL LOGIC
FLOGEL, A
BUNING, HK
LETTMANN, T
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1993, 27 (04): : 327 - 340
[38] A bounded translation of intuitionistic propositional logic into basic propositional logic
Aghaei, M
Ardeshir, M
MATHEMATICAL LOGIC QUARTERLY, 2000, 46 (02) : 199 - 206
[39] CLASSICAL PROPOSITIONAL LOGIC AND DECIDABILITY OF VARIABLES IN INTUITIONISTIC PROPOSITIONAL LOGIC
Ishihara, Hajime
LOGICAL METHODS IN COMPUTER SCIENCE, 2014, 10 (03) : 1 - 7
[40] Knowledge forgetting in propositional μ-calculus
Renyan Feng
Yisong Wang
Ren Qian
Lei Yang
Panfeng Chen
Annals of Mathematics and Artificial Intelligence, 2023, 91 : 1 - 43

← 1 2 3 4 5 →