Negative translations not intuitionistically equivalent to the usual ones
arXiv:1011.0317
Abstract
We refute the conjecture that all negative translations are intuitionistically equivalent by giving two counterexamples. Then we characterise the negative translations intuitionistically equivalent to the usual ones.