Proof Checking and Knowledge by Intellection

被引：0
|
作者：
机构：
来源：
Philosophical Studies | 1998年 / 92卷
关键词：
Proof Check;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：85 / 112
页数：27
相关论文
共 50 条
  • [31] Insight, inference, and intellection
    Haldane, J
    AMERICAN CATHOLIC PHILOSOPHICAL QUARTERLY, 1999, 73 : 31 - 43
  • [32] THE PRIMACY OF INTELLECTION
    SCHUON, F
    STUDIES IN COMPARATIVE RELIGION, 1984, 16 (3-4): : 131 - 135
  • [33] Model checking for π-calculus using proof search
    Tiu, A
    CONCUR 2005 - CONCURRENCY THEORY, PROCEEDINGS, 2005, 3653 : 36 - 50
  • [34] A scheduling strategy for parallel proof checking and verification
    He Pei
    Kang Lishan
    Xiao Zengliang
    Xiao Zhuoyu
    PROCEEDINGS OF 2008 IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL, VOLS 1 AND 2, 2008, : 1823 - +
  • [35] Safe proof checking in type theory with Y
    Geuvers, H
    Poll, E
    Zwanenburg, J
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 1999, 1683 : 439 - 452
  • [36] Proof Checking Technology for Satisfiability Modulo Theories
    Stump, Aaron
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 228 : 121 - 133
  • [37] Proof-checking protocols using bisimulations
    Röckl, C
    Esparza, J
    CONCUR'99: CONCURRENCY THEORY, 1999, 1664 : 525 - 540
  • [38] Feedback Loops Guide AI to Proof Checking
    Edwards, Chris
    COMMUNICATIONS OF THE ACM, 2025, 68 (03) : 9 - 11
  • [39] Static and User-Extensible Proof Checking
    Stampoulis, Antonis
    Shao, Zhong
    POPL 12: PROCEEDINGS OF THE 39TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2012, : 273 - 284
  • [40] SMT proof checking using a logical framework
    Stump, Aaron
    Oe, Duckki
    Reynolds, Andrew
    Hadarean, Liana
    Tinelli, Cesare
    FORMAL METHODS IN SYSTEM DESIGN, 2013, 42 (01) : 91 - 118
12345