On cut-elimination arguments for axiomatic theories of truth

DOI10.1007/S11225-021-09978-7MaRDI QIDQ2144190zbMATH OpenOpenAlexFDO

Authors Daichi Hayashi

Publication date 1 June 2022

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-021-09978-7

zbMATH Keywords

axiomatic theory of truthcut-eliminationproof-theoretic strength

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Conservativity for theories of compositional truth via cut elimination
• An ordinal analysis for theories of self-referential truth
• Cut elimination for systems of transparent truth with restricted initial sequents
• Weak and strong theories of truth
• Axioms for grounded truth

Cites work

• A system of complete and consistent truth
• A theory of formal truth arithmetically equivalent to ID₁
• An axiomatic approach to self-referential truth
• An ordinal analysis for theories of self-referential truth
• Axiomatic theories of truth
• Conservativity for theories of compositional truth via cut elimination
• Notes on Formal Theories of Truth
• Outline of a Theory of Truth
• Reflecting on incompleteness
• Relative Truth Definability of Axiomatic Truth Theories

Cited in

(2)

• Cut elimination for systems of transparent truth with restricted initial sequents
• The Taming of the Cut. Classical Refutations with Analytic Cut

This page was built for publication: On cut-elimination arguments for axiomatic theories of truth

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2144190)