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 条
  • [21] Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory
    Forster, Yannick
    Kirst, Dominik
    Wehr, Dominik
    LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2020), 2020, 11972 : 47 - 74
  • [22] Completeness theorems for first-order logic analysed in constructive type theory
    Forster, Yannick
    Kirst, Dominik
    Wehr, Dominik
    JOURNAL OF LOGIC AND COMPUTATION, 2021, 31 (01) : 112 - 151
  • [23] First-Order Logic and First-Order Functions
    Freire, Rodrigo A.
    LOGICA UNIVERSALIS, 2015, 9 (03) : 281 - 329
  • [24] LOWENHEIM-SKOLEM AND TARSKI-VAUGHT THEOREMS IN HIGHER-ORDER LOGIC
    WEAVER, G
    JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (04) : 708 - &
  • [25] First order or higher order general factor?
    School of Psychology, Georgia Institute of Technology, Atlanta, GA 30332-0170, United States
    Struct. Equ. Model., 3 (193-211):
  • [26] First Order or Higher Order General Factor?
    Mulaik, Stanley A.
    Quartetti, Douglas A.
    STRUCTURAL EQUATION MODELING-A MULTIDISCIPLINARY JOURNAL, 1997, 4 (03) : 193 - 211
  • [27] First order probabilistic logic
    Jaumard, Brigitte
    Fortin, Alexandre
    Shahriar, Istiaque
    Sultana, Razia
    NAFIPS 2006 - 2006 ANNUAL MEETING OF THE NORTH AMERICAN FUZZY INFORMATION PROCESSING SOCIETY, VOLS 1 AND 2, 2006, : 341 - +
  • [28] A first order logic of effects
    Mason, IA
    THEORETICAL COMPUTER SCIENCE, 1997, 185 (02) : 277 - 318
  • [29] ON FIRST ORDER LOGIC OF PROOFS
    Artemov, Sergei
    Yavorskaya , Tatiana
    MOSCOW MATHEMATICAL JOURNAL, 2001, 1 (04) : 475 - 490
  • [30] Distributed First Order Logic
    Ghidini, Chiara
    Serafini, Luciano
    ARTIFICIAL INTELLIGENCE, 2017, 253 : 1 - 39
12345