Studia Logica

, Volume 101, Issue 1, pp 45-63

First online:

Negative Translations Not Intuitionistically Equivalent to the Usual Ones

  • Jaime GasparAffiliated withArbeitsgruppe Logik, Fachbereich Mathematik, Technische Universität Darmstadt Email author 

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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 translation Classical logic Intuitionistic logic Minimal logic Negative fragment

Mathematics Subject Classification (2010)