CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION

DOI10.1017/jsl.2015.27zbMath1376.03056arXiv1308.0168OpenAlexW2963331508MaRDI QIDQ3450806

Graham E. Leigh

Publication date: 9 November 2015

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1308.0168

zbMATH Keywords

cut eliminationtruth predicatescompositional axioms for truth

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30)

Related Items

On cut-elimination arguments for axiomatic theories of truth ⋮ Models of weak theories of truth ⋮ Local collection and end-extensions of models of compositional truth ⋮ The two halves of disjunctive correctness ⋮ TRUTH AND FEASIBLE REDUCIBILITY ⋮ MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE ⋮ NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE ⋮ AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW ⋮ More on Systems of Truth and Predicative Comprehension ⋮ About Truth and Types ⋮ Lindenbaum’s Lemma via Open Induction ⋮ Interpreting the compositional truth predicate in models of arithmetic ⋮ The implicit commitment of arithmetical theories and its semantic core ⋮ Truth, disjunction, and induction ⋮ Cut elimination for systems of transparent truth with restricted initial sequents ⋮ Truth and the philosophy of mathematics ⋮ Reflecting and unfolding ⋮ EQUIVALENCES FOR TRUTH PREDICATES

Cites Work

• Unnamed Item
• Unnamed Item
• A proof-theoretic account of classical principles of truth
• An axiomatic approach to self-referential truth
• Set theory and hierarchy theory. A memorial tribute to Andrzej Mostowski, Bierutowice, Poland 1975
• Conservative theories of classical truth
• An ordinal analysis for theories of self-referential truth
• Bounded Induction and Satisfaction Classes
• Construction of Satisfaction Classes for Nonstandard Models
• MINIMAL TRUTH AND INTERPRETABILITY