About Truth and Types

被引：1
作者：
Cantini, Andrea [1 ]
机构：
[1] Univ Florence, Dipartimento Lettere & Filosofia, Florence, Italy
来源：
ADVANCES IN PROOF THEORY | 2016年 / 28卷
关键词：
D O I：
10.1007/978-3-319-29198-7_2
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We investigate a weakening of the classical theory of Frege structures and extensions thereof which naturally interpret (predicative) theories of explicit types and names a la Jager.
引用
收藏
页码：31 / 64
页数：34
相关论文
共 28 条
[1]  
Aczel P., 1980, THE KLEENE S, P31
[2]  
[Anonymous], 2002, INTRODUCTION, DOI DOI 10.1017/CBO9780511809088
[3]  
Cantini A, 2004, DE GRU LOG APPLICAT, V6, P259
[4]   Uniform inseparability in explicit mathematics [J].
Cantini, A ;
Minari, P .
JOURNAL OF SYMBOLIC LOGIC, 1999, 64 (01) :313-326
[5]   LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF PARTIAL CLASSIFICATIONS WITH APPROXIMATION OPERATOR [J].
CANTINI, A .
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1992, 38 (02) :107-141
[6]  
Cantini A., 1996, STUDIES LOGIC FDN MA, V135
[7]  
Eberhard S., 2012, LOGIC CONSTRUCTION C, P156
[8]  
Feferman S., 1979, Logic Colloquium 78, P159
[9]   Does reductive proof theory have a viable rationale? [J].
Feferman, S .
ERKENNTNIS, 2000, 53 (1-2) :63-96
[10]   REFLECTING ON INCOMPLETENESS [J].
FEFERMAN, S .
JOURNAL OF SYMBOLIC LOGIC, 1991, 56 (01) :1-49
123