Intuitionistic choice and classical logic

• 1 January 2000
• journal article
• Published by Springer Nature in Archive for Mathematical Logic
• Vol. 39  (1) , 53-74
• https://doi.org/10.1007/s001530050003

Abstract

Keywords

• BOOLEAN ALGEBRA
• CLASSICAL LOGIC
• TYPE THEORY
• COVERING RELATION
• JUDICIOUS CHOICE