Studia Logica

, Volume 101, Issue 1, pp 45–63

Negative Translations Not Intuitionistically Equivalent to the Usual Ones


DOI: 10.1007/s11225-011-9367-6

Cite this article as:
Gaspar, J. Stud Logica (2013) 101: 45. doi:10.1007/s11225-011-9367-6


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.


Negative translationClassical logicIntuitionistic logicMinimal logicNegative fragment

Mathematics Subject Classification (2010)


Copyright information

© Springer Science+Business Media B.V. 2012

Authors and Affiliations

  1. 1.Arbeitsgruppe Logik, Fachbereich MathematikTechnische Universität DarmstadtDarmstadtGermany