On Various Translations Between Classical, Intuitionistic, and Linear Logic

Studia Logica 2026 Open access

Read full text
Authors: Gilda Ferreira, Paulo B. Oliva, Clarence Lewis Protin
DOI: 10.1007/s11225-026-10251-y
Cited by: 0
References: 42

Abstract

Abstract Several different proof translations exist between classical and intuitionistic logic (negative translations), and intuitionistic and linear logic (Girard translations). Our aims in this paper are: (1) to consider extensions of intuitionistic linear logic corresponding to each of these systems, and (2) using this common logical basis, to develop a uniform approach to devising and simplifying proof translations. Through this process of “simplification” we recover most of the well-known translations in the literature.

Fields of Study & Subjects

Advanced Algebra and Logic Logic Reasoning and Knowledge

Publication details

Journal / source
Studia Logica
Publisher
Springer Science and Business Media LLC
Publication date
21 July 2026
Language
EN