The following pages link to Notes on Formal Theories of Truth (Q3809794):
Displaying 9 items.
- A note on typed truth and consistency assertions (Q263089) (← 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)
- Deflationary truth and the ontology of expressions (Q513895) (← links)
- Some notes on truths and comprehension (Q722023) (← links)
- Truth, partial logic and infinitary proof systems (Q1653651) (← links)
- Provably true sentences across axiomatizations of Kripke's theory of truth (Q1708102) (← links)
- On the costs of nonclassical logic (Q1749804) (← links)
