Variants into minimal logic of the Kuroda negative translation

Jaime Gaspar

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…