Functional Interpretations of Intuitionistic Linear Logic

DOI10.1007/978-3-642-04027-6_3zbMath1193.03080arXiv1012.1174OpenAlexW2126167317MaRDI QIDQ5902221

Paulo Oliva, Gilda Ferreira

Publication date: 12 November 2009

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1012.1174

Mathematics Subject Classification ID

Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Functionals in proof theory (03F10) Subsystems of classical logic (including intuitionistic logic) (03B20) Relative consistency and interpretations (03F25)

Related Items (3)

On bounded functional interpretations ⋮ Proof interpretations with truth ⋮ THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING

Cites Work

• Unnamed Item
• Unnamed Item
• Linear logic
• Functional interpretations of linear and intuitionistic logic
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Computational Interpretations of Classical Linear Logic
• Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen
• Proof theory in the abstract

This page was built for publication: Functional Interpretations of Intuitionistic Linear Logic