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 (sic)▭-bundled fragment of first-order modal logic
Wang, Xun
SYNTHESE, 2023, 201 (04)
[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] ON FIRST ORDER LOGIC OF PROOFS
Artemov, Sergei
Yavorskaya , Tatiana
MOSCOW MATHEMATICAL JOURNAL, 2001, 1 (04) : 475 - 490
[29] A first order logic of effects
Mason, IA
THEORETICAL COMPUTER SCIENCE, 1997, 185 (02) : 277 - 318
[30] Distributed First Order Logic
Ghidini, Chiara
Serafini, Luciano
ARTIFICIAL INTELLIGENCE, 2017, 253 : 1 - 39

← 1 2 3 4 5 →