Embedding Classical Logic in Intuitionistic Logic

DOI10.1002/malq.19730190307zbMath0255.02019OpenAlexW2164241438MaRDI QIDQ5668439

No author found.

Publication date: 1973

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19730190307

Mathematics Subject Classification ID

Classical first-order logic (03B10) Intermediate logics (03B55) Proof theory and constructive mathematics (03F99)

Related Items (1)

Extending Gödel's negative interpretation to ZF

This page was built for publication: Embedding Classical Logic in Intuitionistic Logic