A THEORY OF FORMAL TRUTH ARITHMETICALLY EQUIVALENT TO ID1

被引：51
作者：
CANTINI, A
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1990年 / 55卷 / 01期
关键词：
D O I：
10.2307/2274965
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：244 / 259
页数：16
相关论文
共 21 条
[1]  
Barwise Jon., 1975, PERSPECTIVES MATH LO
[2]   THE TRUTH IS NEVER SIMPLE [J].
BURGESS, JP .
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) :663-681
[3]  
CARTINI A, 1989, Z MATH LOGIK GRUNDLA, V35, P99
[4]  
CARTINI A, 1982, ATTI CONVEGNO NAZION, P219
[5]  
FEFERMAN S, 1987, REFLECTING INCOMPLET
[6]  
FEFERMAN S, UNPUB GODELS INCOMPL
[7]  
FEFERMAN S, 1981, LECT NOTES MATH, V897, P17
[8]   PARTIAL MODELS AND LOGIC PROGRAMMING [J].
FITTING, M .
THEORETICAL COMPUTER SCIENCE, 1986, 48 (2-3) :229-255
[9]   AN AXIOMATIC APPROACH TO SELF-REFERENTIAL TRUTH [J].
FRIEDMAN, H ;
SHEARD, M .
ANNALS OF PURE AND APPLIED LOGIC, 1987, 33 (01) :1-21
[10]  
J?ger G., 1982, ARCH MATH LOGIK GRUN, V22, P121, DOI 10.1007/BF02297652
123