AN AXIOMATIC APPROACH TO SELF-REFERENTIAL TRUTH

被引：98

作者：

FRIEDMAN, H

SHEARD, M

机构：

来源：

ANNALS OF PURE AND APPLIED LOGIC | 1987年 / 33卷 / 01期

关键词：

D O I：

10.1016/0168-0072(87)90073-X

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

收藏

页码：1 / 21

页数：21

相关论文

共 6 条

[1] THE LOGIC OF PROVABILITY [J].

BOOLOS, G .

AMERICAN MATHEMATICAL MONTHLY, 1984, 91 (08) :470-480

[2] TRUTH AND PARADOX [J].

GUPTA, A .

JOURNAL OF PHILOSOPHICAL LOGIC, 1982, 11 (01) :1-60

[3]

HOWARD WA, 1968, COMPOS MATH, V20, P107

[4] A SURVEY OF PROOF THEORY [J].

KREISEL, G .

JOURNAL OF SYMBOLIC LOGIC, 1968, 33 (03) :321-&

[5] OUTLINE OF A THEORY OF TRUTH [J].

KRIPKE, S .

JOURNAL OF PHILOSOPHY, 1975, 72 (19) :690-716

[6]

Montague R., 1963, ACTA PHILOS FENN, P153, DOI 10.2307/2271809