Functional interpretations of linear and intuitionistic logic

DOI10.1016/j.ic.2008.11.008zbMath1193.03081OpenAlexW2090410559MaRDI QIDQ964504

Paulo Oliva

Publication date: 22 April 2010

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2008.11.008

zbMATH Keywords

linear logicDialectica interpretationintuitionistic logicfunctional interpretationmodified realizability

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) Relative consistency and interpretations (03F25)

Related Items

A parametrised functional interpretation of Heyting arithmetic, On bounded functional interpretations, Cartesian closed Dialectica categories, Functional Interpretations of Intuitionistic Linear Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Bounded functional interpretation and feasible analysis
• Unifying functional interpretations
• Cartesian closed Dialectica categories
• Henkin quantifiers and complete problems
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Bounded functional interpretation
• On a generalization of quantifiers
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
• Interpretationen der Heyting-Arithmetik endlicher Typen
• Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen
• A dialectica-like model of linear logic