Unifying functional interpretations

DOI10.1305/NDJFL/1153858651zbMATH Open1113.03052OpenAlexW1987058504MaRDI QIDQ867407FDOQ867407

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

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

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)

Cited In (13)

• Computational interpretations of classical reasoning: from the epsilon calculus to stateful programs
• Title not available (Why is that?)
• A new computation of the \(\Sigma\)-ordinal of \(\mathrm{KP}{\omega}\)
• On bounded functional interpretations
• Title not available (Why is that?)
• Functional interpretations of linear and intuitionistic logic
• 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)