Copies of Classical Logic in Intuitionistic Logic
From MaRDI portal
Publication:5499598
DOI10.4000/PHILOSOPHIASCIENTIAE.963zbMath1325.03008arXiv1211.1850OpenAlexW2156091420MaRDI QIDQ5499598
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
Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)
This page was built for publication: Copies of Classical Logic in Intuitionistic Logic