Sciweavers

Share
CORR
2010
Springer

On Various Negative Translations

10 years 2 months ago
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
Gilda Ferreira, Paulo Oliva
Added 10 Feb 2011
Updated 10 Feb 2011
Type Journal
Year 2010
Where CORR
Authors Gilda Ferreira, Paulo Oliva
Comments (0)
books