The following pages link to Truth and reduction (Q1841002):
Displaying 13 items.
- A note on typed truth and consistency assertions (Q263089) (← links)
- A disquotational theory of truth as strong as \(Z_2^-\) (Q496323) (← links)
- Some notes on truths and comprehension (Q722023) (← links)
- Higher-order logic and disquotational truth (Q2155943) (← links)
- An ordinal analysis for theories of self-referential truth (Q2267754) (← links)
- Truth and the Liar (Q2909751) (← links)
- AXIOMS FOR GROUNDED TRUTH (Q2940867) (← links)
- Relative Truth Definability of Axiomatic Truth Theories (Q3163660) (← links)
- Disquotational truth and analyticity (Q4328846) (← links)
- TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY (Q4692072) (← links)
- Axiomatizing Kripke's theory of truth (Q5480633) (← links)
- MINIMAL TRUTH AND INTERPRETABILITY (Q5850988) (← links)
- Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\) (Q6614045) (← links)
