On bounded functional interpretations

DOI10.1016/J.APAL.2011.12.025MaRDI QIDQ424545zbMATH OpenOpenAlexFDO

Authors Gilda Ferreira, Paulo Oliva

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

intuitionistic logicrealizabilityfunctional interpretationsintuitionistic linear logicmajorizability

Mathematics Subject Classification ID

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

• Functional interpretations of linear and intuitionistic logic
• Unifying functional interpretations
• Bounded functional interpretation
• scientific article; zbMATH DE number 7377974
• Hybrid functional interpretations of linear and intuitionistic logic

Cites work

• scientific article; zbMATH DE number 3216998 (Why is no real title available?)
• Bounded functional interpretation
• Bounded functional interpretation and feasible analysis
• Bounded modified realizability
• Confined modified realizability
• Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen
• Functional Interpretations of Intuitionistic 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
• Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
• Unifying functional interpretations
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES

Cited in

(20)

• Nonstandardness and the bounded functional interpretation
• Bounded Dialectica interpretation: categorically
• Functional interpretation and the existence property
• Hybrid functional interpretations of linear and intuitionistic logic
• scientific article; zbMATH DE number 1870123 (Why is no real title available?)
• Bounded modified realizability
• The bounded functional interpretation of bar induction
• Bounded functional interpretation and feasible analysis
• Unifying functional interpretations
• A note on the monotone functional interpretation
• Factorization of the Shoenfield-like bounded functional interpretation
• Hardwiring truth in functional interpretations
• Bounded functional interpretation
• Proof interpretations with truth
• scientific article; zbMATH DE number 7377974 (Why is no real title available?)
• Intuitionistic nonstandard bounded modified realisability and functional interpretation
• Confined modified realizability
• Unifying functional interpretations: past and future
• A functional functional interpretation
• The bounded functional interpretation of the double negation shift

This page was built for publication: On bounded functional interpretations

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