activity
20102015
most citedIntuitionistic nonstandard bounded modified realisability and functional interpretation

8 citations · 20 across the 8 of their papers we have counts for

collaborators
Showing 2012 · math.LOShow all

1 paper · 2 filters

math.LO2012

Copies of classical logic in intuitionistic logic

Jaime Gaspar

Classical logic (the logic of non-constructive mathematics) is stronger than intuitionistic logic (the logic of constructive mathematics). Despite this, there are copies of classic…