, Volume 101, Issue 1, pp 45-63

Negative Translations Not Intuitionistically Equivalent to the Usual Ones

Purchase on Springer.com

$39.95 / €34.95 / £29.95*

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