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 条
  • [1] Proof and disproof in formal logic: an introduction for programmers
    Kilmister, Clive
    MATHEMATICAL GAZETTE, 2007, 91 (521): : 381 - 382
  • [2] On the Formal Validity of Proof by Contradiction in Kant's Logic
    Dalla Rosa, Davide
    HISTORY OF PHILOSOPHY & LOGICAL ANALYSIS, 2022, 25 (01): : 95 - 114
  • [3] A FORMAL AND INTUITIONISTIC PROOF OF THE COMPLETENESS THEOREM OF CLASSICAL LOGIC
    Krivine, Jean-Louis
    BULLETIN OF SYMBOLIC LOGIC, 1996, 2 (04) : 405 - 421
  • [4] Formal verification of a proof procedure for the description logic A L C
    Chaabani, Mohamed
    Mezghiche, Mohamed
    Strecker, Martin
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (122): : 51 - 61
  • [5] Integration of Formal Proof into Unified Assurance Cases - With Isabelle/SACM
    Foster, Simon
    Nemouchi, Yakoub
    Gleirscher, Mario
    Wei, Ran
    Kelly, Tim
    ITNOW, 2021, 63 (03)
  • [6] Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM
    Foster, Simon
    Nemouchi, Yakoub
    Gleirscher, Mario
    Wei, Ran
    Kelly, Tim
    FORMAL ASPECTS OF COMPUTING, 2021, 33 (06) : 855 - 884
  • [7] Formal Proof of Meta-Theorem in First-Order Logic in Coq
    Wang, Qiming
    Liu, Jianghao
    Guo, Dakai
    Yu, Wensheng
    INTELLIGENT NETWORKED THINGS, CINT 2024, PT I, 2024, 2138 : 45 - 52
  • [8] Formal proof
    Atkinson, Ti-Grace
    ARTFORUM INTERNATIONAL, 2008, 46 (09): : 111 - +
  • [9] INFORMAL PROOF, FORMAL PROOF, FORMALISM
    Weir, Alan
    REVIEW OF SYMBOLIC LOGIC, 2016, 9 (01): : 23 - 43
  • [10] A Formal Proof Generator from Semi-formal Proof Documents
    Riesco, Adrian
    Ogata, Kazuhiro
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2017, 2017, 10580 : 3 - 12
12345