Negative translations not intuitionistically equivalent to the usual ones

2010/11/01 by Jaime Gaspar, Gaspar, Jaime
Mathematics · #03F25 #FOS: Mathematics #Logic (math.LO) #math.LO #msc:03F25

paper · pdf · doi:10.48550/arxiv.1011.0317

arxiv created 2011/03/19 · arxiv updated 2011/03/22

Abstract

We refute the conjecture that all negative translations are intuitionistically equivalent by giving two counterexamples. Then we characterise the negative translations intuitionistically equivalent to the usual ones.

Related

• Negative Translations for Affine and Lukasiewicz Logic
• Variants into minimal logic of the Kuroda negative translation
• On the Various Translations between Classical, Intuitionistic and Linear Logic
• Calibrating the negative interpretation
• A Kuroda-style j-translation