How to prove higher order theorems in first order logic

被引：0
|
作者：
机构：
来源：
| 1600年 / Morgan Kaufmann Publ Inc, San Mateo, CA, USA卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] First order logic Calculation
    Gauthier, Yvon
    DIALOGUE-CANADIAN PHILOSOPHICAL REVIEW, 2016, 55 (01) : 207 - 209
  • [32] First Order Expressivist Logic
    John Cantwell
    Erkenntnis, 2013, 78 : 1381 - 1403
  • [33] First Order Expressivist Logic
    Cantwell, John
    ERKENNTNIS, 2013, 78 (06) : 1381 - 1403
  • [34] First order quantifiers in monadic second order logic
    Keisler, HJ
    Lotfallah, WB
    JOURNAL OF SYMBOLIC LOGIC, 2004, 69 (01) : 118 - 136
  • [35] FIRST-ORDER COMPLETENESS THEOREMS
    WAVRIK, JJ
    MATHEMATISCHE ANNALEN, 1973, 206 (03) : 249 - 264
  • [36] HIGHER-ORDER LOGIC PROGRAMMING
    MILLER, DA
    NADATHUR, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 448 - 462
  • [37] CERES in higher-order logic
    Hetzl, Stefan
    Leitsch, Alexander
    Weller, Daniel
    ANNALS OF PURE AND APPLIED LOGIC, 2011, 162 (12) : 1001 - 1034
  • [38] Superposition for Higher-Order Logic
    Alexander Bentkamp
    Jasmin Blanchette
    Sophie Tourret
    Petar Vukmirović
    Journal of Automated Reasoning, 2023, 67
  • [39] Compilation as rewriting in higher order logic
    Li, Guodong
    Slind, Konrad
    AUTOMATED DEDUCTION - CADE-21, PROCEEDINGS, 2007, 4603 : 19 - +
  • [40] CONNECTIONS AND HIGHER-ORDER LOGIC
    ANDREWS, PB
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 1 - 4
12345