科研之友
微信
新浪微博
Facebook
分享链接
摘要
We axiomatize Leitgeb's (2005) theory of truth and show that this theory proves all arithmetical sentences of the system of ramified analysis up to epsilon(0). We also give alternative axiomatizations of Kripke's (1975) theory of truth (Strong Kleene and supervaluational version) and show that they are at least as strong as the Kripke-Feferman system KF and Cantini's VF, respectively.
- 出版日期2014-3
