1 paper · 1 filter
Mélanie Boudard, Olivier Hermant
Double-negation translations are used to encode and decode classical proofs in intuitionistic logic. We show that, in the cut-free fragment, we can simplify the translations and in…