| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4662045 | Annals of Pure and Applied Logic | 2013 | 16 Pages |
Abstract
This paper explores the interface between principles of self-applicable truth and classical logic. To this end, the proof-theoretic strength of a number of axiomatic theories of truth over intuitionistic logic is determined. The theories considered correspond to the maximal consistent collections of fifteen truth-theoretic principles as isolated in Leigh and Rathjen (2012).
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
G.E. Leigh,