On bounded functional interpretations

DOI10.1016/j.apal.2011.12.025zbMath1251.03074MaRDI QIDQ424545

Paulo Oliva, Gilda Ferreira

Publication date: 1 June 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2011.12.025

zbMATH Keywords

realizability; intuitionistic logic; functional interpretations; intuitionistic linear logic; majorizability

Mathematics Subject Classification ID

03F07: Structure of proofs

03F52: Proof-theoretic aspects of linear logic and other substructural logics

03F10: Functionals in proof theory

03F25: Relative consistency and interpretations

Cites Work

• Unnamed Item
• Bounded functional interpretation and feasible analysis
• Unifying functional interpretations
• 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
• Bounded functional interpretation
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Confined modified realizability
• Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
• Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen
• Bounded modified realizability
• Functional Interpretations of Intuitionistic Linear Logic