French Arithmétique de Heyting Cited by user JeanCASPAR on 12 May 2024 L'arithmétique de Heyting est une axiomatisation de l'arithmétique dans le cadre de la logique intutionniste.
English Friedman translation Cited by user EmilJ on 30 Apr 2009 In mathematical logic, the Friedman translation is a certain transformation of intuitionistic formulas.