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 条
  • [1] Interpreting first-order theories into a logic of records
    Van De Vel M.
    Studia Logica, 2002, 72 (3) : 411 - 432
  • [2] Representing first-order causal theories by logic programs
    Ferraris, Paolo
    Lee, Joohyung
    Lierler, Yuliya
    Lifschitz, Vladimir
    Yang, Fangkai
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2012, 12 : 383 - 412
  • [3] Combinations of Theories for Decidable Fragments of First-Order Logic
    Fontaine, Pascal
    FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS, 2009, 5749 : 263 - 278
  • [4] THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
    Passmann, Robert
    JOURNAL OF SYMBOLIC LOGIC, 2024, 89 (01) : 308 - 330
  • [5] First-Order Logic and First-Order Functions
    Freire, Rodrigo A.
    LOGICA UNIVERSALIS, 2015, 9 (03) : 281 - 329
  • [6] First-Order Inconsistencies Caused by Rogue Trajectories
    Postma, John V.
    Yee, Eugene
    Wilson, John D.
    BOUNDARY-LAYER METEOROLOGY, 2012, 144 (03) : 431 - 439
  • [7] Superposition Decides the First-Order Logic Fragment Over Ground Theories
    Evgeny Kruglov
    Christoph Weidenbach
    Mathematics in Computer Science, 2012, 6 (4) : 427 - 456
  • [8] Superposition Decides the First-Order Logic Fragment Over Ground Theories
    Kruglov, Evgeny
    Weidenbach, Christoph
    MATHEMATICS IN COMPUTER SCIENCE, 2012, 6 (04) : 427 - 456
  • [9] First-Order Inconsistencies Caused by Rogue Trajectories
    John V. Postma
    Eugene Yee
    John D. Wilson
    Boundary-Layer Meteorology, 2012, 144 : 431 - 439
  • [10] A First-Order Logic with Frames
    Murali, Adithya
    Pena, Lucas
    Loeding, Christof
    Madhusudan, P.
    PROGRAMMING LANGUAGES AND SYSTEMS ( ESOP 2020): 29TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2020, 12075 : 515 - 543
12345