On Cut-Elimination Arguments for Axiomatic Theories of Truth
On Cut-Elimination Arguments for Axiomatic Theories of Truth
复制标题
论真理公理理论的消除论证
DOI：
10.1007/s11225-021-09978-7
复制
发表时间：
2022
期刊：
影响因子：
0.7
通讯作者：
Hayashi Daichi
中科院分区：
文献类型：
--
作者：
隈下敦貴;田尻寛男;山口明;宇佐美潤,住山昭彦;山根悠;簑口友紀，鈴木勝;櫻井吉晴;福山寛;渡邊正理，栗田伸之，萩原雅人，田中秀数;建部良平;Hayashi Daichi
正如 Leigh (Journal of Symbol Logic80(3):845-865, 2015) 中提到的，对于几种真理的公理理论，包括弗里德曼-谢尔德理论 (Friedman and Sheard in Annals of Pure and Applied Logic33:1-21, 1987) 和克里普克-费弗曼理论 (Kripke in Journal of Pure and Applied Logic) 和克里普克-费弗曼理论 (Kripke in Journal of Pure and Applied Logic) 来说，这是一个悬而未决的问题。 Philosophy72(19):690-716, 1976），存在给出其证明理论强度上限的削减消除论证。在本文中，我们给出了几种著名的公理真理理论的完整的消去结果。特别是，我们对待弗里德曼和谢尔德的理论（1987）和的系统。
As is mentioned in Leigh (Journal of Symbol Logic80(3):845-865, 2015), it is an open problem whether for several axiomatic theories of truth, including Friedman–Sheard theory(Friedman and Sheard inAnnals of Pure and Applied Logic33:1–21, 1987) and Kripke–Feferman theory(Kripke inJournal of Philosophy72(19):690-716, 1976), there exist cut-elimination arguments that give the upper bounds of their proof-theoretic strengths. In this paper, we give complete cut-elimination results for several well-known axiomatic theories of truth. In particular, we treat the systems, andof Friedman and Sheard’s theories (1987) and.
登录
查看更多内容
公理真理论的相对真可定义性
DOI：
10.2178/bsl/1286284556
发表时间：
2010
期刊：
The Bulletin of Symbolic Logic
影响因子：
--
作者：
K. Fujimoto
通讯作者：
K. Fujimoto
真理的公理理论
DOI：
--
发表时间：
2012
期刊：
影响因子：
--
作者：
S. Michael
通讯作者：
S. Michael
自我参照真理的公理化方法
影响因子：
0.8
作者：
H. Friedman;M. Sheard
通讯作者：
M. Sheard
反思真理。
影响因子：
0.7
作者：
Graham Emil Leigh
通讯作者：
Graham Emil Leigh
完整且一致的真理体系
DOI：
--
发表时间：
1994
期刊：
Notre Dame J. Formal Log.
影响因子：
--
作者：
V. Halbach
通讯作者：
V. Halbach