Provably true sentences across axiomatizations of Kripke's theory of truth

DOI10.1007/s11225-017-9727-yzbMath1437.03162OpenAlexW2614458588MaRDI QIDQ1708102

Carlo Nicolai

Publication date: 4 April 2018

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://kclpure.kcl.ac.uk/portal/en/publications/provably-true-sentences-across-axiomatizations-of-kripkes-theory-of-truth(bbc29cb3-504e-4cd0-82d4-db0bbd9dae3a).html

zbMATH Keywords

semantic paradoxesformal theories of truthproof-theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (6)

, , AND REINHARDT’S PROGRAM ⋮ THE POWER OF NAIVE TRUTH ⋮ NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE ⋮ Notes on models of (partial) Kripke-Feferman truth ⋮ On the costs of nonclassical logic ⋮ THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof theory. The first step into impredicativity
• Some remarks on extending and interpreting theories with a partial predicate for truth
• Kripke and the logic of truth
• On the costs of nonclassical logic
• Toward useful type-free theories. I
• Notes on Formal Theories of Truth
• Iterated reflection principles and the ω-rule
• Reflecting on incompleteness
• Outline of a Theory of Truth
• Iterated reflection over full disquotational truth
• AXIOMATIZING SEMANTIC THEORIES OF TRUTH?
• Systems of predicative analysis
• Axiomatizing Kripke's theory of truth

This page was built for publication: Provably true sentences across axiomatizations of Kripke's theory of truth