Refutations and proofs in S4

被引：0
|
作者：
Skura, T
机构：
来源：
PROOF THEORY OF MODAL LOGIC | 1996年 / 2卷
关键词：
D O I：
暂无
中图分类号：
N09 [自然科学史]; B [哲学、宗教];
学科分类号：
01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;
摘要：
引用
收藏
页码：45 / 51
页数：7
相关论文
共 50 条
  • [11] PROOFS AND REFUTATIONS IN MATHEMATICS TEACHER EDUCATION
    Tirosh, Dina
    JOURNAL OF MATHEMATICS TEACHER EDUCATION, 2005, 8 (04) : 287 - 290
  • [12] A Constructive Logic with Classical Proofs and Refutations
    Barenbaum, Pablo
    Freund, Teodoro
    2021 36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2021,
  • [13] (Programs), Proofs and Refutations (and Tests and Mutants)
    Groce, Alex
    PROCEEDINGS OF THE 2024 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON NEW IDEAS, NEW PARADIGMS, AND REFLECTIONS ON PROGRAMMING AND SOFTWARE, ONWARD! 2024, 2024, : 223 - 230
  • [14] Proofs and refutations in the undergraduate mathematics classroom
    Larsen S.
    Zandieh M.
    Educational Studies in Mathematics, 2008, 67 (3) : 205 - 216
  • [15] PROOFS AND REFUTATIONS IN LOWER SECONDARY SCHOOL GEOMETRY
    Fujita, Taro
    Jones, Keith
    Kunimune, Susumu
    Kumakura, Hiroyuki
    Matsumoto, Shinichiro
    PROCEEDINGS OF THE SEVENTH CONGRESS OF THE EUROPEAN SOCIETY FOR RESEARCH IN MATHEMATICS EDUCATION (CERME 7), 2011, : 660 - 669
  • [16] Scaling Relational Inference Using Proofs and Refutations
    Mangal, Ravi
    Zhang, Xin
    Kamath, Aditya
    Nori, Aditya V.
    Naik, Mayur
    THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, : 3278 - 3286
  • [17] Proofs and Refutations in Invariant-Based Programming
    Eriksson, Johannes
    Parsa, Masoumeh
    Back, Ralph-Johan
    INTEGRATED FORMAL METHODS, IFM 2014, 2014, 8739 : 189 - 204
  • [18] PROOFS AND REFUTATIONS - LOGIC OF MATHEMATICAL DISCOVERY - LAKATOS,I
    WAGNER, PA
    EDUCATIONAL LEADERSHIP, 1978, 35 (07) : 586 - 587
  • [19] PROOFS AND REFUTATIONS - LOGIC OF MATHEMATICAL DISCOVERY - LAKATOS,I
    QUINE, WV
    BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 1977, 28 (01): : 81 - 82
  • [20] PROOFS AND REFUTATIONS - LOGIC OF MATHEMATICAL DISCOVERY - LAKATOS,I
    ISAACSON, D
    PHILOSOPHICAL QUARTERLY, 1978, 28 (111): : 169 - 171
12345