|
|||||
|
|
Weak and Strong Theories of Truth |
|
| Authors: | Sheard Michael |
| Institution: | (1) Department of Mathematics, St. Lawrence University, Canton, N.Y, 13617 |
| Abstract: | 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. |
| Keywords: | truth FS |
| 本文献已被 SpringerLink 等数据库收录！ | |