Proof by cases in formal logic

被引：9

|

作者：

Kleene, SC ^{[1
]}

机构：

[1] Princeton Univ, Princeton, NJ USA

来源：

ANNALS OF MATHEMATICS | 1934年 / 35卷

关键词：

D O I：

10.2307/1968749

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：529 / 544

页数：16

相关论文

共 50 条

[31] IN DEFENSE OF FORMAL LOGIC
ABELSON, R
PHILOSOPHY AND PHENOMENOLOGICAL RESEARCH, 1961, 21 (03) : 333 - 346
[32] A sociology of formal logic?
Greiffenhagen, Christian
SOCIAL STUDIES OF SCIENCE, 2010, 40 (03) : 471 - 480
[33] The 'natural' and the 'formal' (Logic)
Peregrin, J
JOURNAL OF PHILOSOPHICAL LOGIC, 2000, 29 (01) : 75 - 101
[34] FORMAL LOGIC - PRIOR,AN
THOMAS, I
PHILOSOPHY, 1956, 31 (119) : 379 - 381
[35] A FORMAL PROOF OF THE IRRATIONALITY OF ζ(3)
Mahboubi, Assia
Sibut-Pinote, Thomas
LOGICAL METHODS IN COMPUTER SCIENCE, 2021, 17 (01) : 1 - 25
[36] LOGIC OF PROOF - REJOINDER
WILLIAMS, G
CRIMINAL LAW REVIEW, 1980, (FEB): : 103 - 107
[37] The proof (logic and mathematics)
Nuzhdin, G
VOPROSY FILOSOFII, 1998, (09) : 138 - 149
[38] The logic of geometric proof
Rood, Ron
DIAGRAMMATIC REPRESENTATION AND INFERENCE, PROCEEDINGS, 2006, 4045 : 221 - 225
[39] ON FORMAL SPECIFICATION OF A PROOF TOOL
ARTHAN, RD
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 356 - 370
[40] Towards Formal Proof Metrics
Aspinall, David
Kaliszyk, Cezary
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE 2016), 2016, 9633 : 325 - 341

← 1 2 3 4 5 →