Relative Truth Definability of Axiomatic Truth Theories
Relative Truth Definability of Axiomatic Truth Theories
复制标题
公理真理论的相对真可定义性
DOI：
10.2178/bsl/1286284556
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
K. Fujimoto
中科院分区：
文献类型：
--
作者：
K. Fujimoto
摘要 本文提出相对真理可定义性作为比较公理真理论概念方面的工具，并据此概述了公理真理论的最新发展。我们还通过相对真值可定义性展示了几个新的证明理论结果，包括对 Feferman 在 [13] 中提出的猜想的完整答案。
Abstract The present paper suggests relative truth definability as a tool for comparing conceptual aspects of axiomatic theories of truth and gives an overviewof recent developments of axiomatic theories of truth in the light of it. We also show several new proof-theoretic results via relative truth definability including a complete answer to the conjecture raised by Feferman in [13].