, Volume 101, Issue 1, pp 45-63
Date: 12 Oct 2012

Negative Translations Not Intuitionistically Equivalent to the Usual Ones

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access

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.

Presented by Jacek Malinowski