Back to Search Start Over

Copies of classical logic in intuitionistic logic

Authors :
Gaspar, Jaime
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.

Details

Database :
arXiv
Publication Type :
Report
Accession number :
edsarx.1211.1850
Document Type :
Working Paper