REALIZABILITY AND INTUITIONISTIC LOGIC

被引：8

|

作者：

DILLER, J ^{[1
]}

TROELSTRA, AS ^{[1
]}

机构：

[1] MATH INST,1018 WB AMSTERDAM,NETHERLANDS

来源：

SYNTHESE | 1984年 / 60卷 / 02期

关键词：

D O I：

10.1007/BF00485463

中图分类号：

N09 [自然科学史]; B [哲学、宗教];

学科分类号：

01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;

摘要：

引用

收藏

页码：253 / 282

页数：30

相关论文

共 50 条

[1] A Generalized Realizability and Intuitionistic Logic
Konovalov, Aleksandr
[J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2023, 24 (02)
[2] General Recursive Realizability and Intuitionistic Logic
A. Yu. Konovalov
[J]. Algebra and Logic, 2021, 60 : 89 - 94
[3] General Recursive Realizability and Intuitionistic Logic
Konovalov, A. Yu
[J]. ALGEBRA AND LOGIC, 2021, 60 (02) : 89 - 94
[4] Absolute L-Realizability and Intuitionistic Logic
A. Yu. Konovalov
[J]. Moscow University Mathematics Bulletin, 2019, 74 : 79 - 82
[5] Absolute L-Realizability and Intuitionistic Logic
Konovalov, A. Yu
[J]. MOSCOW UNIVERSITY MATHEMATICS BULLETIN, 2019, 74 (02) : 79 - 82
[6] Hybrid realizability for intuitionistic and classical choice
Blot, Valentin
[J]. PROCEEDINGS OF THE 31ST ANNUAL ACM-IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016), 2016, : 575 - 584
[7] NEW REALIZABILITY NOTION FOR INTUITIONISTIC ANALYSIS
SCARPELLINI, B
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1977, 23 (02): : 137 - 167
[8] ABSTRACT REALIZABILITY FOR INTUITIONISTIC AND RELEVANT IMPLICATION
MITCHELL, JC
[J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 851 - 852
[9] Extensional realizability for intuitionistic set theory
Frittaion, Emanuele
Rathjen, Michael
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2021, 31 (02) : 630 - 653
[10] RECURSIVE REALIZABILITY FROM INTUITIONISTIC VIEWPOINT
GAVRILENKO, IV
[J]. DOKLADY AKADEMII NAUK SSSR, 1981, 256 (01): : 18 - 22

← 1 2 3 4 5 →