Choice of primitives: A note on axiomatizing intuitionistic logic
From MaRDI portal
Publication:2757960
DOI10.1080/01445349808837294zbMath1052.03519WikidataQ58573218 ScholiaQ58573218MaRDI QIDQ2757960
Publication date: 5 December 2001
Published in: History and Philosophy of Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/01445349808837294
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Cites Work