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 条

[1] CLASSICAL PROPOSITIONAL LOGIC AND DECIDABILITY OF VARIABLES IN INTUITIONISTIC PROPOSITIONAL LOGIC
Ishihara, Hajime
LOGICAL METHODS IN COMPUTER SCIENCE, 2014, 10 (03) : 1 - 7
[2] A modal logic amalgam of classical and intuitionistic propositional logic
Lewitzka, Steffen
JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (01) : 201 - 212
[3] Deciding intuitionistic-propositional logic via translation into classical logic
Korn, DS
Kreitz, C
AUTOMATED DEDUCTION - CADE-14, 1997, 1249 : 131 - 145
[4] Teaching Intuitionistic and Classical Propositional Logic Using Isabelle
Villadsen, Jorgen
From, Asta Halkjaer
Blackburn, Patrick
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (354): : 71 - 85
[5] Epistemic extensions of combined classical and intuitionistic propositional logic
Lewitzka, Steffen
LOGIC JOURNAL OF THE IGPL, 2017, 25 (03) : 309 - 324
[6] A bounded translation of intuitionistic propositional logic into basic propositional logic
Aghaei, M
Ardeshir, M
MATHEMATICAL LOGIC QUARTERLY, 2000, 46 (02) : 199 - 206
[7] A REDUCTION OF CLASSICAL PROPOSITIONAL LOGIC TO THE CONJUNCTION-NEGATION FRAGMENT OF AN INTUITIONISTIC RELEVANT LOGIC
DOSEN, K
JOURNAL OF PHILOSOPHICAL LOGIC, 1981, 10 (04) : 399 - 408
[8] Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation
Toyooka, Masanobu
Sano, Katsuhiko
STUDIA LOGICA, 2024, 112 (05) : 1091 - 1121
[9] A CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL LOGIC
MUTI, N
NAGOYA MATHEMATICAL JOURNAL, 1970, 37 : 131 - &
[10] Intuitionistic Propositional Logic in Lean
Trufas, Dafina
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2024, (410):

← 1 2 3 4 5 →