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 条

[21] Propositional intuitionistic multiple-conclusion calculus via proof graphs
Carvalho, Ruan V. B.
de Oliveira, Anjolina G.
de Queiroz, Ruy J. G. B.
LOGIC JOURNAL OF THE IGPL, 2019, 27 (01) : 33 - 59
[22] PROBLEMS OF SUBSTITUTION AND ADMISSIBILITY IN THE MODAL SYSTEM GRZ AND IN INTUITIONISTIC PROPOSITIONAL CALCULUS
RYBAKOV, VV
ANNALS OF PURE AND APPLIED LOGIC, 1990, 50 (01) : 71 - 106
[23] SPECIES-ALGEBRAIC INTERPRETATION OF INTUITIONISTIC PROPOSITIONAL CALCULUS - PRELIMINARY REPORT
OKEE, J
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (06): : A716 - &
[24] A proof-theoretic study of bi-intuitionistic propositional sequent calculus
Pinto, Luis
Uustalu, Tarmo
JOURNAL OF LOGIC AND COMPUTATION, 2018, 28 (01) : 165 - 202
[25] Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part II
Inoue, Takao
Hanaoka, Riku
FORMALIZED MATHEMATICS, 2022, 30 (01): : 1 - 12
[26] A FAITHFUL INTERPRETATION OF THE INTUITIONISTIC PROPOSITIONAL CALCULUS BY MEANS OF AN INITIAL SEGMENT OF THE MEDVEDEV LATTICE
SKVORTSOVA, EZ
SIBERIAN MATHEMATICAL JOURNAL, 1988, 29 (01) : 133 - 139
[27] PROPOSITIONAL CALCULUS
KYBURG, H
AMERICAN MATHEMATICAL MONTHLY, 1965, 72 (04): : 437 - &
[28] ON SOME NON-CLASSICAL EXTENSIONS OF 2ND-ORDER INTUITIONISTIC PROPOSITIONAL CALCULUS
SCEDROV, A
ANNALS OF PURE AND APPLIED LOGIC, 1984, 27 (02) : 155 - 164
[29] A FINITE HILBERT-STYLE AXIOMATIZATION OF THE IMPLICATION-LESS FRAGMENT OF THE INTUITIONISTIC PROPOSITIONAL CALCULUS
REBAGLIATO, J
VERDU, V
MATHEMATICAL LOGIC QUARTERLY, 1994, 40 (01) : 61 - 68
[30] PROPOSITIONAL CALCULUS AND REALIZABILITY
ROSE, GF
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1953, 75 (JUL) : 1 - 19

← 1 2 3 4 5 →