Proof interpretations with truth

DOI10.1002/MALQ.200910112MaRDI QIDQ3066291zbMATH OpenOpenAlexFDO

Authors Jaime Gaspar, Paulo Oliva

Publication date 10 January 2011

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200910112

zbMATH Keywords

functional interpretationintuitionistic linear logicAczel slashKleene slashmodified realizability with truthq-modified realizability

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

• Hardwiring truth in functional interpretations
• Functional interpretation and the existence property
• Functional interpretations of intuitionistic linear logic
• On bounded functional interpretations
• Hybrid functional interpretations of linear and intuitionistic logic

Cites work

• scientific article; zbMATH DE number 1215497 (Why is no real title available?)
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Bounded functional interpretation
• Bounded modified realizability
• Computational Interpretations of Classical Linear Logic
• Constructivism in mathematics. An introduction. Volume I
• Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen
• Functional Interpretations of Intuitionistic Linear Logic
• Functional interpretation and the existence property
• Hybrid Functional Interpretations
• Hybrid functional interpretations of linear and intuitionistic logic
• Linear logic
• Pointwise hereditary majorization and some applications
• Relative constructivity

Cited in

(9)

• Hybrid functional interpretations of linear and intuitionistic logic
• Prawitz, Proofs, and Meaning
• Proof interpretations. Theoretical and practical aspects.
• A parametrised functional interpretation of Heyting arithmetic
• Meaning approached via proofs
• Hardwiring truth in functional interpretations
• Uniform functional interpretations
• scientific article; zbMATH DE number 5150882 (Why is no real title available?)
• Unifying functional interpretations: past and future

This page was built for publication: Proof interpretations with truth

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