Grigori Mints

, 2006, 'Notes on constructive negation', Synthese 148 (3), 701-717.