Variants into minimal logic of the Kuroda negative translation

Abstract

The Kuroda negative translation translates classical logic only into intuitionistic logic, not into minimal logic. We present eight variants of the Kuroda negative translation that translate classical logic even into minimal logic. The proofs of their soundness theorems are interesting because they illustrate four different methods of proof.

References in corpus (1)

• The computational content of classical arithmetic