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 条
  • [41] Higher-order computational logic
    Lloyd, JW
    COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I, 2002, 2407 : 105 - 137
  • [42] A LOGIC WITH HIGHER ORDER CONDITIONAL PROBABILITIES
    Ognjanovic, Zoran
    Ikodinovic, Nebojsa
    PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, 2007, 82 (96): : 141 - 154
  • [43] HIGHER-ORDER LOGIC PROGRAMMING
    MILLER, DA
    NADATHUR, G
    JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 851 - 851
  • [44] Abstraction and refinement in higher order logic
    Department of Computer Science, The University of Sheffield, Regent Court, 211 Portobello Street, Sheffield
    S1 4DP, United Kingdom
    不详
    Lect. Notes Comput. Sci., (201-216):
  • [45] The Higher-Order-Logic Formath
    Audenaert, Pieter
    BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN, 2008, 15 (02) : 335 - 367
  • [46] A logic of higher-order preferences
    Jiang, Junli
    Naumov, Pavel
    SYNTHESE, 2024, 203 (06)
  • [47] Higher-Order Coalition Logic
    Boella, Guido
    Gabbay, Dov M.
    Genovese, Valerio
    van der Torre, Leendert
    ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2010, 215 : 555 - 560
  • [48] Superposition for Higher-Order Logic
    Bentkamp, Alexander
    Blanchette, Jasmin
    Tourret, Sophie
    Vukmirovic, Petar
    JOURNAL OF AUTOMATED REASONING, 2023, 67 (01)
  • [49] A logic for distributed higher order π-calculus
    Cao, Zining
    THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2008, 4978 : 351 - 363
  • [50] Higher order maximum persistency and comparison theorems
    Shekhovtsov, Alexander
    COMPUTER VISION AND IMAGE UNDERSTANDING, 2016, 143 : 54 - 79
12345