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)

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

Related Items (5)

Hybrid Functional Interpretations of Linear and Intuitionistic Logic ⋮ Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic ⋮ On bounded functional interpretations ⋮ Proof interpretations with truth ⋮ THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING

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