Iterated reflection over full disquotational truth
From MaRDI portal
Publication:4555459
DOI10.1093/logcom/exx023zbMath1444.03003arXiv1703.02301OpenAlexW2794075000MaRDI QIDQ4555459
Leon Horsten, Carlo Nicolai, Martin J. Fischer
Publication date: 20 November 2018
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1703.02301
Philosophical and critical aspects of logic and foundations (03A05) Paraconsistent logics (03B53) Gödel numberings and issues of incompleteness (03F40)
Related Items
THE POWER OF NAIVE TRUTH ⋮ Truth, partial logic and infinitary proof systems ⋮ NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE ⋮ Provably true sentences across axiomatizations of Kripke's theory of truth ⋮ The implicit commitment of arithmetical theories and its semantic core ⋮ Truth and the philosophy of mathematics
