Functional interpretations of linear and intuitionistic logic

DOI10.1016/J.IC.2008.11.008MaRDI QIDQ964504zbMATH OpenOpenAlexFDO

Authors Paulo Oliva

Publication date 22 April 2010

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2008.11.008

zbMATH Keywords

intuitionistic logiclinear logicDialectica interpretationfunctional interpretationmodified realizability

Mathematics Subject Classification ID

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

Recommendations

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

Cites work

• scientific article; zbMATH DE number 1670481 (Why is no real title available?)
• scientific article; zbMATH DE number 1215497 (Why is no real title available?)
• scientific article; zbMATH DE number 1215498 (Why is no real title available?)
• scientific article; zbMATH DE number 786487 (Why is no real title available?)
• scientific article; zbMATH DE number 3216998 (Why is no real title available?)
• A dialectica-like model of linear logic
• Bounded functional interpretation
• Bounded functional interpretation and feasible analysis
• Cartesian closed Dialectica categories
• Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen
• Henkin quantifiers and complete problems
• Interpretationen der Heyting-Arithmetik endlicher Typen
• Linear logic
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• On a generalization of quantifiers
• Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
• The Dialectica interpretation of first-order classical affine logic
• Unifying functional interpretations
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES

Cited in

(15)

• A game-theoretic computational interpretation of proofs in classical analysis
• Cartesian closed Dialectica categories
• scientific article; zbMATH DE number 4057482 (Why is no real title available?)
• Functional Interpretations of Intuitionistic Linear Logic
• Hybrid functional interpretations of linear and intuitionistic logic
• scientific article; zbMATH DE number 5863196 (Why is no real title available?)
• On bounded functional interpretations
• scientific article; zbMATH DE number 77950 (Why is no real title available?)
• Hybrid Functional Interpretations
• Computational Interpretations of Classical Linear Logic
• Functional interpretations of intuitionistic linear logic
• Unifying functional interpretations
• Functional Interpretation of Logics for ‘Generally’
• A parametrised functional interpretation of Heyting arithmetic
• Interactive models of computation and program behavior

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

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