Pages that link to "Item:Q2267754"
From MaRDI portal
The following pages link to An ordinal analysis for theories of self-referential truth (Q2267754):
Displaying 10 items.
- One hundred years of semantic paradox (Q266649) (← links)
- A proof-theoretic account of classical principles of truth (Q385807) (← links)
- Classes and truths in set theory (Q450946) (← links)
- A note on the unprovability of consistency in formal theories of truth (Q2056216) (← links)
- Ackermannian Goodstein sequences of intermediate growth (Q2106602) (← links)
- On cut-elimination arguments for axiomatic theories of truth (Q2144190) (← links)
- A note on the theory of positive induction, \({{\text{ID}}^*_1}\) (Q2267752) (← links)
- Conceptual engineering for truth: aletheic properties and new aletheic concepts (Q2693135) (← links)
- The Friedman-Sheard programme in intuitionistic logic (Q2915893) (← links)
- CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION (Q3450806) (← links)
