CONSTRUCTIVE PARTIAL THEORIES

被引：0

|

作者：

SCHREIBE.P

机构：

来源：

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1971年 / 17卷 / 03期

关键词：

D O I：

10.1002/malq.19710170123

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：197 / &

相关论文

共 50 条

[1] PARTIAL FUNCTIONS IN CONSTRUCTIVE FORMAL-THEORIES
CONSTABLE, RL
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1982, 145 : 1 - 18
[2] On Skolemization in constructive theories
Baaz, Matthias
Iemhoff, Rosalie
[J]. JOURNAL OF SYMBOLIC LOGIC, 2008, 73 (03) : 969 - 998
[3] Provably recursive functions of constructive and relatively constructive theories
Morteza Moniri
[J]. Archive for Mathematical Logic, 2010, 49 : 291 - 300
[4] Provably recursive functions of constructive and relatively constructive theories
Moniri, Morteza
[J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2010, 49 (03): : 291 - 300
[5] Current constructive theories in psychology
Edgell, B
[J]. NATURE, 1932, 130 : 388 - 391
[6] Principle theories, constructive theories, and explanation in modern physics
Van Camp, Wesley
[J]. STUDIES IN HISTORY AND PHILOSOPHY OF MODERN PHYSICS, 2011, 42 (01): : 23 - 31
[7] Modalities in constructive logics and type theories
de Paiva, V
Goré, R
Mendler, M
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2004, 14 (04) : 439 - 446
[8] EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS
Emmenegger, Jacopo
Palmgren, Erik
[J]. JOURNAL OF SYMBOLIC LOGIC, 2020, 85 (02) : 563 - 584
[9] Constructive theories through a modal lens
Tesi, Matteo
[J]. LOGIC JOURNAL OF THE IGPL, 2023,
[10] THE RELEVANCE OF CONSTRUCTIVE MATHEMATICS TO PHYSICAL THEORIES
DRAGO, A
[J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 316 - 316

← 1 2 3 4 5 →