What Negation is not: Intuitionism and '0=1'

DOI10.1111/1467-8284.00196zbMath0951.03507OpenAlexW2076495272MaRDI QIDQ4497426

Roy T. Cook, Jon Cogburn

Publication date: 22 August 2000

Full work available at URL: https://doi.org/10.1111/1467-8284.00196

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

On some mistaken beliefs about core logic and some mistaken core beliefs about logic ⋮ Some obstacles facing a semantic foundation for constructive mathematics ⋮ WHAT IS A RULE OF INFERENCE?

This page was built for publication: What Negation is not: Intuitionism and '0=1'