Pages that link to "Item:Q385807"
From MaRDI portal
The following pages link to A proof-theoretic account of classical principles of truth (Q385807):
Displaying 9 items.
- Truth values and proof theory (Q1037601) (← links)
- An ordinal analysis for theories of self-referential truth (Q2267754) (← links)
- The Friedman-Sheard programme in intuitionistic logic (Q2915893) (← links)
- Autonomous progression and transfinite iteration of self-applicable truth (Q3173533) (← links)
- CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION (Q3450806) (← links)
- (Q3689159) (← links)
- Notes on Formal Theories of Truth (Q3809794) (← links)
- (Q4325788) (← links)
- MODELS OF POSITIVE TRUTH (Q5381034) (← links)