Weak and Strong Theories of Truth
- Cite this article as:
- Sheard, M. Studia Logica (2001) 68: 89. doi:10.1023/A:1011902222652
- 72 Downloads
A subtheory of the theory of self-referential truth known as FS is shown to be weak as a theory of truth but equivalent to full FS in its proof-theoretic strength.
© Kluwer Academic Publishers 2001