Copies of Classical Logic in Intuitionistic Logic

DOI10.4000/PHILOSOPHIASCIENTIAE.963zbMath1325.03008arXiv1211.1850OpenAlexW2156091420MaRDI QIDQ5499598

Jaime Gaspar

Publication date: 30 July 2015

Published in: Philosophia Scientae (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1211.1850

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)

This page was built for publication: Copies of Classical Logic in Intuitionistic Logic