A proof-theoretic account of classical principles of truth

DOI10.1016/J.APAL.2013.05.010MaRDI QIDQ385807zbMATHOpenAlexFDO

Authors 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 logicordinal analysisActel slash relationproof-theoretic strengththeories of thruth

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Relative consistency and interpretations (03F25) Intuitionistic mathematics (03F55)

Recommendations

• The Friedman-Sheard programme in intuitionistic logic
• Truth in applicative theories
• Truth values and proof theory
• An ordinal analysis for theories of self-referential truth
• Editorial introduction

Cites work

• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 3316031 (Why is no real title available?)
• A note on the theory of positive induction, \({{\text{ID}}^*_1}\)
• 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
• Axiomatizing Kripke's theory of truth
• Constructivism in mathematics. An introduction. Volume II
• Notes on Formal Theories of Truth
• Provable wellorderings of formal theories for transfinitely iterated inductive definitions
• Saving truth from paradox
• The Friedman-Sheard programme in intuitionistic logic
• Toward useful type-free theories. I
• Weak and strong theories of truth
• Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen

Cited in

(10)

• Truth values and proof theory
• scientific article; zbMATH DE number 3912346 (Why is no real title available?)
• Notes on Formal Theories of Truth
• The Friedman-Sheard programme in intuitionistic logic
• scientific article; zbMATH DE number 733400 (Why is no real title available?)
• Infinitary tableau for semantic truth
• Conservativity for theories of compositional truth via cut elimination
• Autonomous progression and transfinite iteration of self-applicable truth
• An ordinal analysis for theories of self-referential truth
• Models of positive truth

This page was built for publication: A proof-theoretic account of classical principles of truth

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