On cut-elimination arguments for axiomatic theories of truth

DOI10.1007/s11225-021-09978-7OpenAlexW4210616676MaRDI QIDQ2144190

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

proof-theoretic strengthcut-eliminationaxiomatic theory of truth

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• An axiomatic approach to self-referential truth
• A system of complete and consistent truth
• An ordinal analysis for theories of self-referential truth
• Relative Truth Definability of Axiomatic Truth Theories
• A theory of formal truth arithmetically equivalent to ID₁
• CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION
• Notes on Formal Theories of Truth
• Reflecting on incompleteness
• Outline of a Theory of Truth

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