Unifying functional interpretations

DOI10.1305/NDJFL/1153858651MaRDI QIDQ867407zbMATH OpenOpenAlexFDO

Authors Paulo Oliva

Publication date 15 February 2007

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1153858651

zbMATH Keywords

Dialectica interpretationmodified realizabilitymajorizabilityfunctional interpreationsmonotone functional interpretations

Mathematics Subject Classification ID

Structure of proofs (03F07) First-order arithmetic and fragments (03F30) Functionals in proof theory (03F10)

Recommendations

• On bounded functional interpretations
• Unifying functional interpretations: past and future
• Bounded functional interpretation
• Functional interpretations of linear and intuitionistic logic
• A parametrised functional interpretation of Heyting arithmetic

Cited in

(13)

• Computational interpretations of classical reasoning: from the epsilon calculus to stateful programs
• scientific article; zbMATH DE number 1285772 (Why is no real title available?)
• On bounded functional interpretations
• A new computation of the \(\Sigma\)-ordinal of \(\mathrm{KP}{\omega}\)
• Functional interpretations of linear and intuitionistic logic
• scientific article; zbMATH DE number 7471663 (Why is no real title available?)
• A unified functional look at completion in MET, UNIF and AP
• A parametrised functional interpretation of Heyting arithmetic
• Functional un\(|\)unparsing
• Hardwiring truth in functional interpretations
• Light Dialectica revisited
• Light Dialectica program extraction from a classical Fibonacci proof
• Unifying functional interpretations: past and future

This page was built for publication: Unifying functional interpretations

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