Hybrid Functional Interpretations of Linear and Intuitionistic Logic

DOI10.1093/LOGCOM/EXQ007zbMath1242.03086OpenAlexW2107662769MaRDI QIDQ2882562

Paulo Oliva

Publication date: 7 May 2012

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exq007

zbMATH Keywords

linear logicDialectica interpretationfunctional interpretationsproof miningmodified realizabilitybounded interpretations

Mathematics Subject Classification ID

Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Functionals in proof theory (03F10) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55) Relative consistency and interpretations (03F25)

Related Items (5)

Effective results on a fixed point algorithm for families of nonlinear mappings ⋮ A parametrised functional interpretation of Heyting arithmetic ⋮ Unnamed Item ⋮ An application of proof mining to nonlinear iterations ⋮ Proof interpretations with truth

This page was built for publication: Hybrid Functional Interpretations of Linear and Intuitionistic Logic