No Inconsistencies in Fundamental First-Order Theories in Logic

被引：0
|
作者：
Friedman, Harvey
Marek, Victor
机构：
来源：
COMMUNICATIONS OF THE ACM | 2018年 / 61卷 / 10期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：6 / 6
页数：1
相关论文
共 50 条
  • [31] The First-Order Theories of Dedekind Algebras
    George Weaver
    Studia Logica, 2003, 73 (3) : 337 - 365
  • [32] First-order theories of bounded trees
    Kellerman, Ruaan
    ARCHIVE FOR MATHEMATICAL LOGIC, 2022, 61 (1-2) : 263 - 297
  • [33] First-order theories of orthogonality structures
    Kellerman, Ruaan
    LOGIC JOURNAL OF THE IGPL, 2007, 15 (03) : 255 - 270
  • [34] Classifying toposes for first-order theories
    Butz, C
    Johnstone, P
    ANNALS OF PURE AND APPLIED LOGIC, 1998, 91 (01) : 33 - 58
  • [35] First-order theories of bounded trees
    Ruaan Kellerman
    Archive for Mathematical Logic, 2022, 61 : 263 - 297
  • [36] GENERIC COMPLEXITY OF FIRST-ORDER THEORIES
    Rybalov, A. N.
    SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2011, 8 : 168 - 178
  • [37] Extension of first-order theories into trees
    Djelloul, Khalil
    Dao, Thi-Bich-Hanh
    ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS, 2006, 4120 : 53 - 67
  • [38] Sperner spaces and first-order logic
    Blass, A
    Pambuccian, V
    MATHEMATICAL LOGIC QUARTERLY, 2003, 49 (02) : 111 - 114
  • [39] First-order conditional logic revisited
    Friedman, N
    Halpern, JY
    Koller, D
    PROCEEDINGS OF THE THIRTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE, VOLS 1 AND 2, 1996, : 1305 - 1312
  • [40] On First-Order Logic and CPDA Graphs
    Christopher H. Broadbent
    Theory of Computing Systems, 2014, 55 : 771 - 832
12345