First-order EQ-logic

被引：0
|
作者：
Dyba, Martin [1 ]
Novak, Vilem [1 ]
机构：
[1] Univ Ostrava, Ctr Excellence IT4Innovat, Inst Res & Applicat Fuzzy Modeling, Ostrava 70200, Czech Republic
来源：
PROCEEDINGS OF THE 8TH CONFERENCE OF THE EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY (EUSFLAT-13) | 2013年 / 32卷
关键词：
EQ-algebra; EQ-logic; mathematical fuzzy logic;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper represents the third step in the development of EQ-logics. Namely, after developing propositional and higher-order EQ-logics, we focus also on predicate one. First, we give a brief overview of the propositional EQ-logic and then develop syntax and semantics of predicate EQ-logic. Finally, we prove completeness by constructing a model of a consistent theory of EQ-logic from the syntactical material, as usual.
引用
收藏
页码：200 / 206
页数：7
相关论文
共 50 条
  • [1] SCL(EQ): SCL for First-Order Logic with Equality
    Leidinger, Hendrik
    Weidenbach, Christoph
    JOURNAL OF AUTOMATED REASONING, 2023, 67 (03)
  • [2] SCL(EQ): SCL for First-Order Logic with Equality
    Leidinger, Hendrik
    Weidenbach, Christoph
    AUTOMATED REASONING, IJCAR 2022, 2022, 13385 : 228 - 247
  • [3] SCL(EQ): SCL for First-Order Logic with Equality
    Hendrik Leidinger
    Christoph Weidenbach
    Journal of Automated Reasoning, 2023, 67
  • [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] 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
  • [7] Extended First-Order Logic
    Brown, Chad E.
    Smolka, Gert
    THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2009, 5674 : 164 - 179
  • [8] First-Order Logic with Adverbs
    Haze, Tristan Grotvedt
    LOGIC AND LOGICAL PHILOSOPHY, 2024, 33 (02) : 289 - 324
  • [9] FIRST-ORDER HOMOTOPICAL LOGIC
    Helfer, Joseph
    JOURNAL OF SYMBOLIC LOGIC, 2023,
  • [10] GEOMETRISATION OF FIRST-ORDER LOGIC
    Dyckhoff, Roy
    Negri, Sara
    BULLETIN OF SYMBOLIC LOGIC, 2015, 21 (02) : 123 - 163
12345