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 条

[41] Truth and personal existence
Schmitz, B
TRUTH AND HISTORY - A DIALOGUE WITH PAUL TILLICH, 1997, 95 : 269 - 277
[42] Truth, Meaning, Existence
Imaguire, Guido
PHILOSOPHISCHES JAHRBUCH, 2014, 121 (01): : 178 - 181
[43] The Theory and Properties of Γ-k Randomized Truth Degree on Axiomatic Extension of Goguen Propositional Logic System
Hui X.-J.
Gao X.-L.
Zhu N.-D.
Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2017, 45 (11): : 2656 - 2662
[44] An axiomatic approach to existence and liveness for differential equations
Tan, Yong Kiam
Platzer, Andre
FORMAL ASPECTS OF COMPUTING, 2021, 33 (4-5) : 461 - 518
[45] Note on axiomatic properties of apportionment methods for proportional representation systems
Palomares, Antonio
Pukelsheim, Friedrich
Ramirez, Victoriano
MATHEMATICAL PROGRAMMING, 2024, 203 (1-2) : 169 - 185
[46] Note on axiomatic properties of apportionment methods for proportional representation systems
Antonio Palomares
Friedrich Pukelsheim
Victoriano Ramírez
Mathematical Programming, 2024, 203 : 169 - 185
[47] 'TRUTH AND EXISTENCE', THE IDEALISM IN SARTRE THEORY OF TRUTH
WIDER, K
INTERNATIONAL JOURNAL OF PHILOSOPHICAL STUDIES, 1995, 3 (01) : 91 - 109
[48] On Cut-Elimination Arguments for Axiomatic Theories of Truth
Hayashi, Daichi
STUDIA LOGICA, 2022, 110 (03) : 785 - 818
[49] Truth definitions, Skolem functions and axiomatic set theory
Hintikka, J
BULLETIN OF SYMBOLIC LOGIC, 1998, 4 (03) : 303 - 337
[50] On Cut-Elimination Arguments for Axiomatic Theories of Truth
Daichi Hayashi
Studia Logica, 2022, 110 : 785 - 818

← 1 2 3 4 5 →