ON RECONSTRUCTABILITY OF CLASSICAL PROPOSITIONAL LOGIC IN INTUITIONISTIC LOGIC

被引：0

作者：

WOJCICKI, R

机构：

来源：

BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES | 1970年 / 18卷 / 08期

关键词：

D O I：

暂无

中图分类号：

P1 [天文学];

学科分类号：

0704 ;

摘要：

引用

收藏

页码：421 / &

相关论文

共 50 条

[21] On the complexity of propositional quantification in intuitionistic logic
Kremer, P
JOURNAL OF SYMBOLIC LOGIC, 1997, 62 (02) : 529 - 544
[22] A Lindstrom Theorem for Intuitionistic Propositional Logic
Badia, Guillermo
Olkhovikov, Grigory
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2020, 61 (01) : 11 - 30
[23] INTERPOLATION IN FRAGMENTS OF INTUITIONISTIC PROPOSITIONAL LOGIC
DELAVALETTE, GRR
JOURNAL OF SYMBOLIC LOGIC, 1989, 54 (04) : 1419 - 1430
[24] ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
CITKIN, AI
MATHEMATICS OF THE USSR-SBORNIK, 1977, 31 (02): : 279 - 288
[25] Doing logic by computer: interpolation in fragments of intuitionistic propositional logic
Hendriks, L
ANNALS OF PURE AND APPLIED LOGIC, 2000, 104 (1-3) : 97 - 112
[26] Justification logic and type theory as formalizations of intuitionistic propositional logic
DeBoer, Neil J.
JOURNAL OF LOGIC AND COMPUTATION, 2022, 32 (08) : 1531 - 1557
[27] A(nother) characterization of intuitionistic propositional logic
Iemhoff, R
ANNALS OF PURE AND APPLIED LOGIC, 2002, 113 (1-3) : 161 - 173
[28] LOGICAL CONNECTIVES FOR INTUITIONISTIC PROPOSITIONAL LOGIC
MCCULLOUGH, DP
JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (01) : 15 - +
[29] Interpreting intuitionistic propositional logic in terms of intuitionistic protothetics
Yashin A.D.
Algebra and Logic, 2002, 41 (1) : 59 - 64
[30] On the Predictability of Classical Propositional Logic
Finger, Marcelo
Reis, Poliana M.
INFORMATION, 2013, 4 (01) : 60 - 74

← 1 2 3 4 5 →