An arithmetical view to first-order logic

被引:0
|
作者
Bagheri, Seyed Mohammad [1 ]
Poizat, Bruno [2 ]
Pourmahdian, Massoud [3 ]
机构
[1] Tarbiat Modares Univ, Dept Math, Tehran, Iran
[2] Univ Lyon 1, Inst Camille Jordan, F-69622 Villeurbanne, France
[3] Amir Kabir Univ Technol, Dept Math, Tehran, Iran
关键词
Continuous quantifier; Canon; Value space; Ultraproduct; Representation;
D O I
10.1016/j.apal.2009.06.006
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
A value space is a topological algebra B equipped with a non-empty family of continuous quantifiers D : B* -> B. We will describe first-order logic on the basis of B. Operations of B are used as connectives and its relations are used to define statements. We prove under some normality conditions on the value space that any theory in the new setting can be represented by a classical first-order theory. (C) 2009 Elsevier B.V. All rights reserved.
引用
收藏
页码:745 / 755
页数:11
相关论文
共 50 条
  • [1] THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
    Passmann, Robert
    [J]. JOURNAL OF SYMBOLIC LOGIC, 2024, 89 (01) : 308 - 330
  • [2] First-Order Logic and First-Order Functions
    Freire, Rodrigo A.
    [J]. LOGICA UNIVERSALIS, 2015, 9 (03) : 281 - 329
  • [3] Extended First-Order Logic
    Brown, Chad E.
    Smolka, Gert
    [J]. THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2009, 5674 : 164 - 179
  • [4] A First-Order Logic with Frames
    Murali, Adithya
    Pena, Lucas
    Loeding, Christof
    Madhusudan, P.
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS ( ESOP 2020): 29TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2020, 12075 : 515 - 543
  • [5] FIRST-ORDER HOMOTOPICAL LOGIC
    Helfer, Joseph
    [J]. JOURNAL OF SYMBOLIC LOGIC, 2023,
  • [6] GEOMETRISATION OF FIRST-ORDER LOGIC
    Dyckhoff, Roy
    Negri, Sara
    [J]. BULLETIN OF SYMBOLIC LOGIC, 2015, 21 (02) : 123 - 163
  • [7] First-Order Logic with Adverbs
    Haze, Tristan Grotvedt
    [J]. LOGIC AND LOGICAL PHILOSOPHY, 2024, 33 (02) : 289 - 324
  • [8] First-Order Logic of Change
    Swietorzecka, Kordula
    [J]. LOGIC JOURNAL OF THE IGPL, 2024, 32 (01) : 35 - 46
  • [9] First-order logic: An introduction
    Adler, JE
    [J]. JOURNAL OF PHILOSOPHY, 2000, 97 (10): : 577 - 580
  • [10] Coherentisation of First-Order Logic
    Dyckhoff, Roy
    [J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2015), 2015, 9323