Unifying Functional Interpretations: Past and Future

zbMath1367.03006arXiv1410.4364MaRDI QIDQ5271413

Paulo Oliva

Publication date: 11 July 2017

Full work available at URL: https://arxiv.org/abs/1410.4364

zbMATH Keywords

realizabilityintuitionistic logicfunctional interpretationsaffine logicGödel's dialectica interpretationDiller-Nahm variant

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematics in the 21st century (01A61) History of mathematical logic and foundations (03-03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Unnamed Item

This page was built for publication: Unifying Functional Interpretations: Past and Future