Proof by cases in formal logic

被引：9

作者：

Kleene, SC ^{[1
]}

机构：

[1] Princeton Univ, Princeton, NJ USA

来源：

关键词：

D O I：

10.2307/1968749

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：529 / 544

页数：16

共 50 条

[21] TAUTOLOGIES IN FORMAL LOGIC
Tortrat, Albert
REVUE ROUMAINE DE MATHEMATIQUES PURES ET APPLIQUEES, 2008, 53 (04): : 357 - 374
[22] The Asymmetry of Formal Logic
Cheyne, Colin
LOGICA YEARBOOK 2011, 2012, : 49 - 62
[23] Note on formal logic
Stone, MH
AMERICAN JOURNAL OF MATHEMATICS, 1937, 59 : 506 - 514
[24] HEGEL AND FORMAL LOGIC
REDLOW, G
DEUTSCHE ZEITSCHRIFT FUR PHILOSOPHIE, 1978, 26 (03): : 350 - 358
[25] LOGIC AS A FORMAL METHOD
GALTON, A
COMPUTER JOURNAL, 1992, 35 (05): : 431 - 440
[26] NATURALISM AND FORMAL LOGIC
Caballero, Pablo
BALKAN JOURNAL OF PHILOSOPHY, 2024, 16 (02) : 131 - 136
[27] Informalizing Formal Logic
Kakas, Antonis C.
INFORMAL LOGIC, 2019, 39 (02): : 169 - 204
[28] FORMAL LOGIC AND PHILOSOPHY
TAVANETS, PV
SOVIET STUDIES IN PHILOSOPHY, 1963, 2 (1-2): : 3 - 9
[29] SOCIOLOGY OF FORMAL LOGIC
BALDAMUS, W
KOLNER ZEITSCHRIFT FUR SOZIOLOGIE UND SOZIALPSYCHOLOGIE, 1980, : 464 - 477
[30] FORMAL LOGIC IS NOT ENOUGH
BIRNBAUM, S
REVOLUTIONARY WORLD-AN INTERNATIONAL JOURNAL OF PHILOSOPHY, 1981, 43-5 : 200 - 201