On Various Negative Translations

Abstract. Several proof translations of classical mathematics into intuitionistic mathematics have been proposed in the literature over the past century. These are normally referred to as negative translations or double-negation translations. Among those, the most commonly cited are translations due to Kolmogorov, G

• Type: Journal
• Year: 2010
• Where: CORR
• Authors: Gilda Ferreira, Paulo Oliva
• Keywords: CORR 2010, Education, Negative Translations, Several Proof Translations, Translations