Back to Search
Start Over
Copies of classical logic in intuitionistic logic
- Publication Year :
- 2012
-
Abstract
- Classical logic (the logic of non-constructive mathematics) is stronger than intuitionistic logic (the logic of constructive mathematics). Despite this, there are copies of classical logic in intuitionistic logic. All copies usually found in the literature are the same. This raises the question: is the copy unique? We answer negatively by presenting three different copies.
- Subjects :
- Mathematics - Logic
00A30, 03A99, 03B10, 03B20, 03F25, 03F55, 03F65
Subjects
Details
- Database :
- arXiv
- Publication Type :
- Report
- Accession number :
- edsarx.1211.1850
- Document Type :
- Working Paper