PURELY ALGEBRAIC CONSTRUCTION OF FIRST-ORDER LOGIC

被引：0
|
作者：
ANDREKA, H
GERGELY, T
NEMETI, I
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1974年 / 39卷 / 02期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：417 / 418
页数：2
相关论文
共 50 条
  • [1] Algebraic geometry in first-order logic
    Plotkin B.
    Journal of Mathematical Sciences, 2006, 137 (5) : 5049 - 5097
  • [2] An Algebraic Characterisation of First-Order Logic with Neighbour
    Manuel, Amaldev
    Nevatia, Dhruv
    2021 36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2021,
  • [3] THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
    Passmann, Robert
    JOURNAL OF SYMBOLIC LOGIC, 2024, 89 (01) : 308 - 330
  • [4] First-Order Logic and First-Order Functions
    Freire, Rodrigo A.
    LOGICA UNIVERSALIS, 2015, 9 (03) : 281 - 329
  • [5] On Combining Algebraic Specifications with First-Order Logic via Athena
    Ksystra, Katerina
    Triantafyllou, Nikos
    Stefaneas, Petros
    ALGEBRAIC MODELING OF TOPOLOGICAL AND COMPUTATIONAL STRUCTURES AND APPLICATIONS, 2017, 219 : 399 - 422
  • [6] Categorical abstract algebraic logic categorical algebraization of first-order logic without terms
    Voutsadakis, G
    ARCHIVE FOR MATHEMATICAL LOGIC, 2005, 44 (04) : 473 - 491
  • [7] Categorical abstract algebraic logic categorical algebraization of first-order logic without terms
    George Voutsadakis
    Archive for Mathematical Logic, 2005, 44 : 473 - 491
  • [8] LogAB: A first-order, non-paradoxical, algebraic logic of belief
    Ismail, Haythem O.
    LOGIC JOURNAL OF THE IGPL, 2012, 20 (05) : 774 - 795
  • [9] Using First-Order Logic to Reason about Submodule Construction
    v. Bochmann, Gregor
    FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, PROCEEDINGS, 2009, 5522 : 213 - 218
  • [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