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 条
  • [41] Formal proof of prefix adders
    Liu, Feng
    Tan, Qingping
    Chen, Gang
    MATHEMATICAL AND COMPUTER MODELLING, 2010, 52 (1-2) : 191 - 199
  • [42] Formal specification and proof of Gridjack
    Mao, Li
    Qi, Deyu
    2012 FIFTH INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DESIGN (ISCID 2012), VOL 1, 2012, : 110 - 114
  • [43] Proof Patterns for Formal Methods
    Freitas, Leo
    Whiteside, Iain
    FM 2014: FORMAL METHODS, 2014, 8442 : 279 - 295
  • [44] Animating formal proof at the surface: The Jape proof calculator
    Bornat, R
    Sufrin, B
    COMPUTER JOURNAL, 1999, 42 (03): : 177 - 192
  • [45] Formal proof of a program:: Find
    Filliatre, Jean-Christophe
    SCIENCE OF COMPUTER PROGRAMMING, 2007, 64 (03) : 332 - 340
  • [46] A FORMAL PROOF OF THE KEPLER CONJECTURE
    Hales, Thomas
    Adams, Mark
    Bauer, Gertrud
    Tat Dat Dang
    Harrison, John
    Le Truong Hoang
    Kaliszyk, Cezary
    Magron, Victor
    Mclaughlin, Sean
    Tat Thang Nguyen
    Quang Truong Nguyen
    Nipkow, Tobias
    Obua, Steven
    Pleso, Joseph
    Rute, Jason
    Solovyev, Alexey
    Thi Hoai An Ta
    Nam Trung Tran
    Thi Diep Trieu
    Urban, Josef
    Vu, Ky
    Zumkeller, Roland
    FORUM OF MATHEMATICS PI, 2017, 5
  • [47] CORRESPONDENCE OF PROOF-INTUITIONISTIC LOGIC EXTENSIONS TO PROOF-LOGIC EXTENTIONS
    MURAVITSKII, AI
    DOKLADY AKADEMII NAUK SSSR, 1985, 281 (04): : 789 - 793
  • [48] FORMAL LOGIC SYNTHESIS FOR PROGRAMMABLE LOGIC ARRAY
    HEATH, C
    WILLIAMSON, I
    ELECTRONIC ENGINEERING, 1976, 48 (583): : 53 - 56
  • [49] Logic and law: Formal versus juridical logic
    Rodes, RE
    Posposel, H
    HISTORY AND PHILOSOPHY OF LOGIC, 1999, 20 (01) : 47 - 53
  • [50] THE TRANSCENDENTAL LOGIC AS AN OVERCOMING OF FORMAL LOGIC AND PSYCHOLOGISM
    Vallejo Alvarez, Ximena
    Trujillo Amaya, Julian Fernando
    HOMBRE Y LA MAQUINA, 2010, (35): : 172 - 181
12345