Translator Disclaimer
September 2012 The Friedman—Sheard programme in intuitionistic logic
Graham E. Leigh, Michael Rathjen
J. Symbolic Logic 77(3): 777-806 (September 2012). DOI: 10.2178/jsl/1344862162

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

Download 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

Published: September 2012
First available in Project Euclid: 13 August 2012

zbMATH: 1248.03081
MathSciNet: MR2987138
Digital Object Identifier: 10.2178/jsl/1344862162

Rights: Copyright © 2012 Association for Symbolic Logic

JOURNAL ARTICLE
30 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.77 • No. 3 • September 2012
Back to Top