Pages that link to "Item:Q3197819"
From MaRDI portal
The following pages link to A theory of formal truth arithmetically equivalent to ID<sub>1</sub> (Q3197819):
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 disquotational theory of truth as strong as \(Z_2^-\) (Q496323) (← links)
- Some notes on truths and comprehension (Q722023) (← links)
- What truth depends on (Q815014) (← links)
- Supervaluation-style truth without supervaluations (Q1633214) (← links)
- Truth, partial logic and infinitary proof systems (Q1653651) (← links)
- Truth, dependence and supervaluation: living with the ghost (Q2377186) (← links)
- A Kripkean approach to unknowability and truth (Q5937827) (← links)
