A proof-theoretic account of classical principles of truth
From MaRDI portal
(Redirected from Publication:385807)
Recommendations
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 ID1
- 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)