Get started
Author

Reinhard Kähle

The proof-theoretic analysis of transfinitely iterated fixed point theories
1999 · Gerhard JÄger, Reinhard Kahle, et al. · Journal of Symbolic Logic · 45
PDF
Hilbert's Paradox
2002 · Volker Peckhaus, Reinhard Kahle · Historia Mathematica · 34
Introduction: Proof-theoretic Semantics
2006 · Reinhard Kahle, Peter Schroeder-Heister · Synthese · 31
Proof Theory in Computer Science
2001 · Kahle, Reinhard, Stärk, Robert, et al. · Lecture notes in computer science · 24
Universes in explicit mathematics
2001 · Gerhard Jäger, Reinhard Kahle, et al. · Annals of Pure and Applied Logic · 24
PDF
On Applicative Theories
1999 · Gerhard Jäger, Reinhard Kahle, et al. · Springer eBooks · 23
Is There a “Hilbert Thesis”?
2018 · Reinhard Kahle · Studia Logica · 15
Proceedings of the International Seminar on Proof Theory in Computer Science
2001 · Reinhard Kähle, Peter Schroeder‐Heister, et al. · 15
Grenzen der KI – theoretisch, praktisch, ethisch
2022 · Klaus Mainzer, Reinhard Kahle · Technik im Fokus · 11
Discussing Hilbert's 24th problem
2019 · Inês Hipolito, Reinhard Kahle · Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences · 11
Towards an Implicit Characterization of NC k
2006 · G. Bonfante, R. Kahle, et al. · Lecture notes in computer science · 10
Formalizing non-termination of recursive programs
2001 · Reinhard Kahle, Thomas Studer · The Journal of Logic and Algebraic Programming · 10
PDF
Gentzen’s Consistency Proof in Context
2015 · Reinhard Kahle · Springer eBooks · 9
Recursion Schemata for NC k
2008 · Guillaume Bonfante, Reinhard Kahle, et al. · Lecture notes in computer science · 9
Limits of AI - theoretical, practical, ethical
2024 · Klaus Mainzer, Reinhard Kahle · Technik im Fokus · 8
Truth in Applicative Theories
2001 · Reinhard Kahle · Studia Logica · 8
Frege structures for partial applicative theories
1999 · R Kahle · Journal of Logic and Computation · 8
The Concept of Artificial Intelligence
2024 · Klaus Mainzer, Reinhard Kahle · Technik im Fokus · 7
Two function algebras defining functions in NCk boolean circuits
2016 · Guillaume Bonfante, Reinhard Kahle, et al. · Information and Computation · 7
PDF
Die Gödelschen Unvollständigkeitssätze
2007 · Reinhard Kahle · Mathematische Semesterberichte · 7
PDF
Universes over Frege structures
2002 · Reinhard Kahle · Annals of Pure and Applied Logic · 7
PDF
What is Hilbert’s 24th Problem?
2018 · Reinhard Kahle, Isabel Oitavem · Kairos · 6
PDF
A Proof-theoretic View of Necessity
2006 · Reinhard Kahle · Synthese · 6
Introduction to Proof Theoretic Semantics. Special issue of
2006 · Reinhard Kähle, Peter Schroeder‐Heister · 6
Structured belief bases
2004 · Reinhard Kahle · Logic and Logical Philosophy · 6
PDF
Works count: 151
Citation count: 454
H-index: 10
I10-index: 12
Year
Topic
Type