A proof-theoretic account of classical principles of truth
From MaRDI portal
Publication:385807
DOI10.1016/j.apal.2013.05.010zbMath1322.03039MaRDI QIDQ385807
Publication date: 11 December 2013
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2013.05.010
intuitionistic logic; proof-theoretic strength; ordinal analysis; Actel slash relation; theories of thruth
03A05: Philosophical and critical aspects of logic and foundations
03F05: Cut-elimination and normal-form theorems
03F03: Proof theory in general (including proof-theoretic semantics)
03F55: Intuitionistic mathematics
03F25: Relative consistency and interpretations
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An axiomatic approach to self-referential truth
- Constructivism in mathematics. An introduction. Volume II
- A system of complete and consistent truth
- A note on the theory of positive induction, \({{\text{ID}}^*_1}\)
- An ordinal analysis for theories of self-referential truth
- The Friedman-Sheard programme in intuitionistic logic
- A theory of formal truth arithmetically equivalent to ID1
- Toward useful type-free theories. I
- Notes on Formal Theories of Truth
- Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen
- Provable wellorderings of formal theories for transfinitely iterated inductive definitions
- Axiomatizing Kripke's theory of truth
- Weak and strong theories of truth