Research output per year
Research output per year
Personal profile
Education/Academic qualification
Doctorate, Applicative Theorien und Frege-Strukturen, University of Bern
Award Date: 20 Mar 1997
External positions
Privatdozent, Eberhard Karls Universität Tübingen
2007 → …
Fingerprint
Dive into the research topics where Reinhard Kahle is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Ein Lob der Habilitation
Translated title of the contribution :In Praise of the Habilitation Research output: Contribution to journal › Article › peer-review
Open AccessFile17 Downloads (Pure) -
Paradoxes, Intuitionism, and Proof-Theoretic Semantics
Kahle, R. & Santos, P. G., Feb 2024, Peter Schroeder-Heister on Proof-Theoretic Semantics. Piecha, T. & Wehmeier, K. F. (eds.). Cham: Springer, p. 363-374 12 p. (Outstanding Contributions to Logic; vol. 29).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
Open AccessFile30 Downloads (Pure) -
A new perspective on completeness and finitist consistency
Santos, P. G., Sieg, W. & Kahle, R., 8 Jul 2023, In: Journal Of Logic And Computation. 20 p., exad021.Research output: Contribution to journal › Article › peer-review
-
Numeral completeness of weak theories of arithmetic
Kahle, R., Oitavem, I. & Santos, P. G., 12 Dec 2023, (E-pub ahead of print) In: Journal Of Logic And Computation. 22 p.Research output: Contribution to journal › Article › peer-review
-
Zukunft der KI: Verantwortung und Vertrauen
Kahle, R., 2023, INFORMATIK 2023: Designing Futures: Zukünfte gestalten. Klein, M., Krupka, D., Winter, C. & Wohlgemuth, V. (eds.). Gesellschaft fur Informatik (GI), p. 749-755 7 p. (Lecture Notes in Informatics (LNI); vol. P-337).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open AccessFile64 Downloads (Pure)
Prizes
-
-
-
Prémio de Lógica Amílcar Sernadas
Kahle, Reinhard (Recipient) & Santos, Paulo Guilherme Domingos Canha Moreira dos (Recipient), 2020
Prize: Prize (including medals and awards)
Activities
-
Birkhaeuser Verlag (Publisher)
Reinhard Kahle (Editorial board member)
2018 → …Activity: Publication peer-review and editorial work › Editorial activity
-
History and Philosophy of Logic (Journal)
Reinhard Kahle (Editorial board member)
2018 → …Activity: Publication peer-review and editorial work › Editorial activity
-
International Joint Conference on Automated Reasoning
Reinhard Kahle (Member of programme committee)
27 Jun 2016 → 2 Jul 2016Activity: Participating in or organising an event › Participation in conference
-
In Memoriam: Richard Dedekind (1831 - 1916)
Reinhard Kahle (Speaker)
6 Oct 2016 → 8 Oct 2016Activity: Participating in or organising an event › Participation in conference
-
Hilbert-Bernays Summer School on Logic and Computation 2016
Reinhard Kahle (Organiser)
24 Jul 2016 → 30 Jul 2016Activity: Participating in or organising an event › Participation in workshop, seminar, course