A proof-theoretic account of classical principles of truth

DOI10.1016/j.apal.2013.05.010zbMath1322.03039MaRDI QIDQ385807

Graham E. Leigh

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

zbMATH Keywords

intuitionistic logic; proof-theoretic strength; ordinal analysis; Actel slash relation; theories of thruth

Mathematics Subject Classification ID

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

CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION

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 ID₁
• 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