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 条
  • [21] COMPUTING WITH FIRST-ORDER LOGIC
    ABITEBOUL, S
    VIANU, V
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1995, 50 (02) : 309 - 335
  • [22] A First-order Logic with Frames
    Murali, Adithya
    Pena, Lucas
    Loeding, Christof
    Madhusudan, P.
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2023, 45 (02):
  • [23] Indistinguishability and first-order logic
    Jordan, Skip
    Zeugmann, Thomas
    THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2008, 4978 : 94 - 104
  • [24] Some Fundamental Laws of Partial First-Order Logic Based on Set Approximations
    Kadek, Tamas
    Mihalydeak, Tamas
    ROUGH SETS AND CURRENT TRENDS IN SOFT COMPUTING, RSCTC 2014, 2014, 8536 : 47 - 58
  • [25] Detecting Inconsistencies in Large First-Order Knowledge Bases
    Schulz, Stephan
    Sutcliffe, Geoff
    Urban, Josef
    Pease, Adam
    AUTOMATED DEDUCTION - CADE 26, 2017, 10395 : 310 - 325
  • [26] From separation logic to first-order logic
    Calcagno, C
    Gardner, P
    Hague, M
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2005, 3441 : 395 - 409
  • [27] From First-Order Logic to Assertional Logic
    Zhou, Yi
    ARTIFICIAL GENERAL INTELLIGENCE: 10TH INTERNATIONAL CONFERENCE, AGI 2017, 2017, 10414 : 87 - 97
  • [28] On the Classification of Unstable First-Order Theories
    Mutchnik, Scott
    ProQuest Dissertations and Theses Global, 2023,
  • [29] FIRST-ORDER THEORIES CATEGORIC IN A CARDINAL
    RESSAYRE, JP
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 142 (AUG) : 481 - &
  • [30] ARITIES AND ARITIZABILITIES OF FIRST-ORDER THEORIES
    Sudoplatov, S., V
    SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2022, 19 (02): : 889 - 901
12345