On cut-elimination arguments for axiomatic theories of truth
From MaRDI portal
Publication:2144190
DOI10.1007/s11225-021-09978-7OpenAlexW4210616676MaRDI QIDQ2144190
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
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 ID1
- 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