Negative translations not intuitionistically equivalent to the usual ones
Logic
2011-03-22 v2
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.
Cite
@article{arxiv.1011.0317,
title = {Negative translations not intuitionistically equivalent to the usual ones},
author = {Jaime Gaspar},
journal= {arXiv preprint arXiv:1011.0317},
year = {2011}
}