An Intuitionistic Characterization of Classical Logic

Ming Hsiung. An Intuitionistic Characterization of Classical Logic. J. Philosophical Logic, 37(4):299-317, 2008. [doi]

Abstract

Abstract is missing.