Notre Dame Journal of Formal Logic

On not strengthening intuitionistic logic.

N. D. Belnap, H. Leblanc, and R. H. Thomason

Full-text: Open access

Article information

Source
Notre Dame J. Formal Logic Volume 4, Number 4 (1963), 313-320.

Dates
First available in Project Euclid: 31 August 2004

Permanent link to this document
http://projecteuclid.org/euclid.ndjfl/1093957658

Zentralblatt MATH identifier
0131.00605

Mathematical Reviews number (MathSciNet)
MR0167407

Digital Object Identifier
doi:10.1305/ndjfl/1093957658

Subjects
Primary: 02.23

Citation

Belnap, N. D.; Leblanc, H.; Thomason, R. H. On not strengthening intuitionistic logic. Notre Dame Journal of Formal Logic 4 (1963), no. 4, 313--320. doi:10.1305/ndjfl/1093957658. http://projecteuclid.org/euclid.ndjfl/1093957658.


Export citation