THE DISJUNCTION AND EXISTENCE PROPERTIES FOR AXIOMATIC SYSTEMS OF TRUTH

被引：6

|

作者：

FRIEDMAN, H ^{[1
]}

SHEARD, M ^{[1
]}

机构：

[1] ST LAWRENCE UNIV,DEPT MATH,CANTON,NY 13617

来源：

ANNALS OF PURE AND APPLIED LOGIC | 1988年 / 40卷 / 01期

关键词：

D O I：

10.1016/0168-0072(88)90038-3

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

收藏

页码：1 / 10

页数：10

相关论文

共 50 条

[1] DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC
Kurahashi, Taishi
Okuda, Motoki
REVIEW OF SYMBOLIC LOGIC, 2024, 17 (01): : 178 - 205
[2] THE EQUIVALENCE OF THE DISJUNCTION AND EXISTENCE PROPERTIES FOR MODAL ARITHMETIC
FRIEDMAN, H
SHEARD, M
JOURNAL OF SYMBOLIC LOGIC, 1989, 54 (04) : 1456 - 1459
[3] Truth, disjunction, and induction
Ali Enayat
Fedor Pakhomov
Archive for Mathematical Logic, 2019, 58 : 753 - 766
[4] Truth, disjunction, and induction
Enayat, Ali
Pakhomov, Fedor
ARCHIVE FOR MATHEMATICAL LOGIC, 2019, 58 (5-6) : 753 - 766
[5] DISJUNCTION AND EXISTENCE PROPERTIES FOR INTUITIONISTIC ANALYSIS WITH KRIPKES SCHEMA
MOSCHOVAKIS, JR
JOURNAL OF SYMBOLIC LOGIC, 1979, 44 (03) : 469 - 469
[6] Axiomatic Theories of Truth
Burgess, John P.
STUDIA LOGICA, 2013, 101 (03) : 637 - 639
[7] FINITIST AXIOMATIC TRUTH
Kentaro, S. A. T. O.
Walker, J. A. N.
JOURNAL OF SYMBOLIC LOGIC, 2023, 88 (01) : 22 - 73
[8] Axiomatic Theories of Truth
Sheard, Michael
HISTORY AND PHILOSOPHY OF LOGIC, 2012, 33 (01) : 99 - 100
[9] Axiomatic Theories of Truth
Smith, Peter
ANALYSIS, 2013, 73 (01) : 163 - 168
[10] Disjunction and Existence Properties in Inquisitive First-Order Logic
Grilletti, Gianluca
STUDIA LOGICA, 2019, 107 (06) : 1199 - 1234

← 1 2 3 4 5 →