pith. sign in

arxiv: 1211.1850 · v1 · pith:GCFORZSOnew · submitted 2012-11-08 · 🧮 math.LO

Copies of classical logic in intuitionistic logic

classification 🧮 math.LO
keywords logiccopiesclassicalintuitionisticmathematicsanswerconstructivecopy
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.