On the Various Translations between Classical, Intuitionistic and Linear Logic

Gilda Ferreira, Paulo Oliva, Clarence Lewis Protin

Several different proof translations exist between classical and intuitionistic logic (negative translations), and intuitionistic and linear logic (Girard translations). Our aims i…