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

来源：

ANNALS OF PURE AND APPLIED LOGIC | 2010年 / 161卷 / 06期

关键词：

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

← 1 2 3 4 5 →