Studia Logica

, Volume 101, Issue 1, pp 45–63

Negative Translations Not Intuitionistically Equivalent to the Usual Ones

Authors

    • Arbeitsgruppe Logik, Fachbereich MathematikTechnische Universität Darmstadt
Article

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
  • 107 Views

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.

Keywords

Negative translationClassical logicIntuitionistic logicMinimal logicNegative fragment

Mathematics Subject Classification (2010)

03F25

Copyright information

© Springer Science+Business Media B.V. 2012