Functional interpretations of intuitionistic linear logic

DOI10.2168/LMCS-7(1:9)2011MaRDI QIDQ5892514zbMATH OpenFDO

Authors Gilda Ferreira, Paulo Oliva

Publication date 26 May 2011

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2168/LMCS-7(1:9)2011

zbMATH Keywords

Dialectica interpretationfunctional interpretationsintuitionistic linear logicintuitionistic logicmodified realizability

Mathematics Subject Classification ID

Functionals in proof theory (03F10) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Intuitionistic mathematics (03F55)

Recommendations

• Functional Interpretations of Intuitionistic Linear Logic
• Functional interpretations of linear and intuitionistic logic
• Computational Interpretations of Classical Linear Logic
• Hybrid functional interpretations of linear and intuitionistic logic
• Full intuitionistic linear logic

Cited in

(17)

• A general adequacy result for a linear functional language
• Operational interpretations of linear logic
• A parametrised functional interpretation of Heyting arithmetic
• Proof interpretations with truth
• The Dialectica interpretation of first-order classical affine logic
• Hybrid Functional Interpretations
• Computational Interpretations of Classical Linear Logic
• scientific article; zbMATH DE number 4104952 (Why is no real title available?)
• Modeling linear logic with implicit functions
• scientific article; zbMATH DE number 2079016 (Why is no real title available?)
• Functional Interpretation of Logics for ‘Generally’
• THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING
• Encodings of Turing machines in linear logic
• Around classical and intuitionistic linear logics
• Intuitionistic phase semantics is almost classical
• Functional Interpretations of Intuitionistic Linear Logic
• Functional interpretations of linear and intuitionistic logic

This page was built for publication: Functional interpretations of intuitionistic linear logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5892514)