SUB-LOGICAL PROPERTIES OF CLASSICAL AND INTUITIONISTIC PROPOSITIONAL CALCULUS

被引：0

|

作者：

SEMENENK.MI

机构：

来源：

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1970年 / 16卷 / 03期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：201 / &

相关论文

共 50 条

[1] On the number of new logical constants in the intuitionistic propositional calculus
Yashin, AD
[J]. VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA, 1997, (01): : 7 - 10
[2] INTUITIONISTIC PROPOSITIONAL CALCULUS WITH QUANTIFIERS
SOBOLEV, SK
[J]. MATHEMATICAL NOTES, 1977, 22 (1-2) : 528 - 532
[3] Metalogic of Intuitionistic Propositional Calculus
Citkin, Alex
[J]. NOTRE DAME JOURNAL OF FORMAL LOGIC, 2010, 51 (04) : 485 - 502
[4] EXTENSION OF INTUITIONISTIC PROPOSITIONAL CALCULUS
BOWEN, KA
[J]. PROCEEDINGS OF THE KONINKLIJKE NEDERLANDSE AKADEMIE VAN WETENSCHAPPEN SERIES A-MATHEMATICAL SCIENCES, 1971, 74 (03): : 287 - &
[5] LOGICAL CONNECTIVES FOR INTUITIONISTIC PROPOSITIONAL LOGIC
MCCULLOUGH, DP
[J]. JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (01) : 15 - +
[6] COMPLEXITY OF SUBCLASSES OF THE INTUITIONISTIC PROPOSITIONAL CALCULUS
MINTS, G
[J]. BIT, 1992, 32 (01): : 64 - 69
[7] THE PROOF-INTUITIONISTIC PROPOSITIONAL CALCULUS
KUZNETSOV, AV
[J]. DOKLADY AKADEMII NAUK SSSR, 1985, 283 (01): : 27 - 30
[8] THE CLASSICAL PROPOSITIONAL CALCULUS OF ARGUMENTS
BULL, R
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1984, 30 (01): : 45 - 86
[9] RUDIMENTARY KRIPKE MODELS FOR THE INTUITIONISTIC PROPOSITIONAL CALCULUS
DOSEN, K
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1993, 62 (01) : 21 - 49
[10] ON THE PERIOD OF SEQUENCES (AN(P)) IN INTUITIONISTIC PROPOSITIONAL CALCULUS
RUITENBURG, W
[J]. JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (03) : 892 - 899

← 1 2 3 4 5 →