1 paper
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…