Author:
Streicher Thomas,Kohlenbach Ulrich
Reference7 articles.
1. A variant of the double negation translation. Carnegie Mellon Technical Report CMU-PHIL 179 (2006).
2. Proof theory in the abstract
3. Opérateurs de mise en mémoire et traduction de Gödel
4. Intuitionistische Untersuchungen der formalistischen Logik
5. Mathematical Logic (Addison-Wesley Publishing Co., 1967).
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Maria Hämeen-Anttila and Jan von Plato, eds, Kurt Gödel: The Princeton Lectures on Intuitionism;Philosophia Mathematica;2022-10-14
2. On Extracting Variable Herbrand Disjunctions;Studia Logica;2022-04-20
3. A parametrised functional interpretation of Heyting arithmetic;Annals of Pure and Applied Logic;2021-04
4. Herbrand's theorem as higher order recursion;Annals of Pure and Applied Logic;2020-06
5. A functional functional interpretation;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14