Abstract
This paper compares the roles classical and intuitionistic logic play in restricting the free use of truth principles in arithmetic. We consider fifteen of the most commonly used axiomatic principles of truth and classify every subset of them as either consistent or inconsistent over a weak purely intuitionistic theory of truth.
Citation
Graham E. Leigh. Michael Rathjen. "The Friedman—Sheard programme in intuitionistic logic." J. Symbolic Logic 77 (3) 777 - 806, September 2012. https://doi.org/10.2178/jsl/1344862162
Information
