Proof Checking and Knowledge by Intellection

被引：0
|
作者：
机构：
来源：
Philosophical Studies | 1998年 / 92卷
关键词：
Proof Check;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：85 / 112
页数：27
相关论文
共 50 条
  • [1] Proof checking and knowledge by intellection (Epistemology of reasoning)
    Jeshion, R
    PHILOSOPHICAL STUDIES, 1998, 92 (1-2) : 85 - 112
  • [2] The redefinition of the cognitive subject: the act of intellection as knowledge
    Obando Olaya, Edwin Fabricio
    Villagran Venegas, Norma Gabriela
    Obando Olaya, Edson Leonardo
    SOPHIA-COLECCION DE FILOSOFIA DE LA EDUCACION, 2018, (25): : 89 - 109
  • [3] Paulin Hountondji, Knowledge as Science, and the Sovereignty of African Intellection
    Lamola, M. John
    SOCIAL EPISTEMOLOGY, 2021, 35 (03) : 270 - 284
  • [4] An integration of model checking with automated proof checking
    Rajan, S
    Shankar, N
    Srivas, MK
    COMPUTER AIDED VERIFICATION, 1995, 939 : 84 - 97
  • [5] Towards Combining Model Checking and Proof Checking
    Jiang, Ying
    Liu, Jian
    Dowek, Gilles
    Ji, Kailiang
    COMPUTER JOURNAL, 2019, 62 (09): : 1365 - 1402
  • [6] PVS: Combining specification, proof checking, and model checking
    Shankar, N
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1996, 1166 : 257 - 264
  • [7] A Proof Theory for Model Checking
    Quentin Heath
    Dale Miller
    Journal of Automated Reasoning, 2019, 63 : 857 - 885
  • [8] Proof checking and logic programming
    Miller, Dale
    FORMAL ASPECTS OF COMPUTING, 2017, 29 (03) : 383 - 399
  • [9] Proof-checking Euclid
    Beeson, Michael
    Narboux, Julien
    Wiedijk, Freek
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2019, 85 (2-4) : 213 - 257
  • [10] A Proof Theory for Model Checking
    Heath, Quentin
    Miller, Dale
    JOURNAL OF AUTOMATED REASONING, 2019, 63 (04) : 857 - 885
12345