Publicações

• Publicações editadas
• Artigos
• Contribuições em livros com referee
• Publicações por convite
• Publicações online com referee
• Teses
• Recensões
• Resumos
• Outras publicações
• Relatórios Técnicos
• Sebentas

Publicações editadas

• Reinhard Kahle and Isabel Oitavem (editors): Days in Logic '06. Textos de Matemática, vol. 38, Departamento de Matemática, Universidade de Coimbra, 2006.
• Reinhard Kahle and Peter Schroeder-Heister (editors): Proof-theoretic semantics. Synthese, 148(3), 2006. Special issue.
• Reinhard Kahle (editor): Intensionality. Lecture Notes in Logic, vol. 22, ASL and AK Peters, 2005.
• Bernd Buldt, Volker Halbach, and Reinhard Kahle (editors): Reflections on Frege and Hilbert. Synthese, 147(1), 2005. Special issue.
• Wilfried Buchholz and Reinhard Kahle (editors): Festschrift on the occasion of Helmut Schwichtenberg's 60th birthday. Annals of Pure and Applied Logic, 133(1-3), 2005. Special issue.
• Reinhard Kahle, Peter Schroeder-Heister, and Robert Stärk (editors): Proof theory in Computer Science. Lecture Notes in Computer Science, vol. 2183, Springer, 2001. Proceedings of a Dagstuhl seminar, October 2001.

Artigos

• Reinhard Kahle: Die Gödelschen Unvollständigkeitssätze. Mathematische Semesterberichte, 54(1):1-12, 2007.
• Reinhard Kahle: A proof-theoretic view of necessity. Synthese, 148(3):659-673, 2006.
• Reinhard Kahle: Universes over Frege structures. Annals of Pure and Applied Logic, 119(1-3):191-223, 2003.
• Reinhard Kahle: Structured Belief Bases. Logic and Logical Philosophy, 10:49-62, 2002.
• Reinhard Kahle: Mathematical proof theory in the light of ordinal analysis. Synthese, 133(1-2):237-255, 2002.
• Volker Peckhaus and Reinhard Kahle: Hilbert's paradox. Historia Mathematica, 29(2):157-175, 2002.
• Reinhard Kahle and Thomas Studer: Formalizing non-termination of recursive programs. Journal of Logic and Algebraic Programming, 49(1-2):1-14, 2001.
• Reinhard Kahle: Truth in applicative theories. Studia Logica, 68(1):103-128, 2001.
• Gerhard Jäger, Reinhard Kahle, and Thomas Studer: Universes in explicit mathematics. Annals of Pure and Applied Logic, 109(3):141-162, 2001.
• Reinhard Kahle: N-strictness in applicative theories. Archive for Mathematical Logic, 39(2):125-144, 2000.
• Gerhard Jäger, Reinhard Kahle, Anton Setzer, and Thomas Strahm: The proof-theoretic analysis of transfinitely iterated fixed point theories. Journal of Symbolic Logic, 64(1):53-67, 1999.
• Reinhard Kahle: Frege structures for partial applicative theories. Journal of Logic and Computation, 9(5):683-700, 1999.

Contribuições em livros com referee

• Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, and Isabel Oitavem: Towards an implicit characterization of NC^k. In Zoltán Èsik (editor): CSL '06. Lecture Notes in Computer Science, vol. 4207, pages 212-224. Springer, 2006.
• Reinhard Kahle and Thomas Studer: A theory of explicit mathematics equivalent to ID₁. In P. Clote and H. Schwichtenberg (editors): CSL 2000. Lecture Notes in Computer Science, vol. 1862, pages 356-370. Springer, 2000.
• Gerhard Jäger, Reinhard Kahle, and Thomas Strahm: On applicative theories. In A. Cantini, E. Casari, and P. Minari (editors): Logic and Foundations of Mathematics. Synthese Library, vol. 280, pages 83-92. Kluwer, 1999.

Publicações por convite

• Reinhard Kahle: Os teoremas de incompletude de Kurt Gödel. Boletim da Sociedade Portuguesa de Matemática, 55:63-76, 2006.
• Reinhard Kahle: Unendlichkeit. In W. Spohn, P. Schroeder-Heister, and E. Olsson (editors): Logik in der Philosophie. Philosophische Impulse, vol. 6, pages 337-348. Synchron, 2005.
• Reinhard Kahle: Konstruktivismus und Semantik. In J. Mittelstraß (editor): Der Konstruktivismus im Ausgang der Philosophie von Wilhelm Kamlah und Paul Lorenzen. Mentis. aceite para publicação.
• Reinhard Kahle: Against possible worlds. In C. Degremont, L. Keiff, and H. Rückert (editors): Festschrift in occasion of the 50th birthday of Shahid Rahmen. College Publications, 2007. aceite para publicação.

Publicações online com referee

• Reinhard Kahle: Proof-theoretic notions for software maintenance. Electronic Notes in Theoretical Computer Science, 40, 2001.

Teses

• Reinhard Kahle: The applicative realm. Habilitationsschrift, Fakultät für Informations- und Kommunikationswissenschaften, Universität Tübingen, 2007. To appear as volume 40 of the Textos de Matemática, Departamento de Matemática, Universidade de Coimbra.
• Reinhard Kahle: Applikative Theorien und Frege-Strukturen. PhD thesis, Institut für Informatik und angewandte Mathematik, Universität Bern, 1997.
• Reinhard Kahle: Einbettung des Beweissystems LAMBDA in eine Theorie von Operationen und Klassen. Master thesis, Universität München, 1992.

Recensões

• Reinhard Kahle, Review of:

  • Freek Wiedijk (editor): The Seventeen Provers of the World. Lecture Notes in Computer Science, vol. 3600, Springer, 2006.

  In: Studia Logica, 87(2), 2007 (planned).
• Reinhard Kahle, Review of:

  • Edwin D. Mares: Relevant Logic. Cambridge University Press, 2004.

  In: Studia Logica, 85(3):419-424, 2007.
• Reinhard Kahle, Review of:

  • V. Hendricks, S. Andur Pedersen, and K. F. Jørgensen (editors): Proof Theory. Synthese Library, vol. 292, Kluwer, 2000.

  In: Philosophiegeschichte und logische Analyse/Logical Analysis and History of Philosophy, 6:245-254, 2003.
• Reinhard Kahle, Review of:

  • W. Burr and V. Hartung: A characterization of the Σ₁-definable functions of KPω + (uniform AC). Archive for mathematical logic, 37(3):199-214, 1998.
  • W. Burr: A Diller-Nahm-style functional interpretation of KPω. Archive for mathematical logic, 39(8):599-604, 2000.

  In: Bulletin of Symbolic Logic, 7(4):532-533, 2001.
• Reinhard Kahle, Review of:

  • P. Mancosu (editor): From Bouwer to Hilbert. Oxford University Press, 1998.

  In: Philosophiegeschichte und logische Analyse/Logical Analysis and History of Philosophy, 4:213-219, 2001.

Resumos

• Reinhard Kahle: David Hilbert and the paradoxes. Bulletin of Symbolic Logic, 12(2):354-355, 2006. Abstract given by title for the Logic Colloquium 2005. Abstract given by title for the Logic Colloquium 2005.
• Reinhard Kahle and Thomas Studer: Least fixed points in applicative theories. Bulletin of Symbolic Logic, 9(1):94, 2003. Abstract for the Logic Colloquium 2002. Abstract for the Logic Colloquium 2002.
• Reinhard Kahle and Anton Setzer: Extended predicative universes. Bulletin of Symbolic Logic, 8(1):141, 2002. Abstract for the Logic Colloquium 2001. Abstract for the Logic Colloquium 2001.
• Reinhard Kahle: Name induction in explicit mathematics. Bulletin of Symbolic Logic, 7(1):121, 2001. Abstract for the Logic Colloquium 2000. Abstract for the Logic Colloquium 2000.
• Reinhard Kahle and Volker Peckhaus: Hilbert's Paradox. Bulletin of Symbolic Logic, 7(1):122, 2001. Abstract for the Logic Colloquium 2000. Abstract for the Logic Colloquium 2000.
• Reinhard Kahle: A proof-theoretic view of intensionality. In Paul Dekker (editor): Proceedings of the 12th Amsterdam Colloquium. pages 163-168, Amsterdam University, 2000. Extended Abstract. Extended Abstract.
• Reinhard Kahle: A proof-theoretic view of necessity. Bulletin of Symbolic Logic, 6(1):115, 2000. Abstract for the Logic Colloquium '99. Abstract for the Logic Colloquium '99.
• Reinhard Kahle: Supervaluation in applicative theories. Bulletin of Symbolic Logic, 5(1):114-115, 1999. Abstract for the Logic Colloquium '98. Abstract for the Logic Colloquium '98.
• Reinhard Kahle: Uniform limit in explicit mathematics with universes. Bulletin of Symbolic Logic, 4(1):91-92, 1998. Abstract for the Logic Colloquium '97. Abstract for the Logic Colloquium '97.
• Reinhard Kahle: Frege structures over applicative theories. Bulletin of Symbolic Logic, 3(2):264-265, 1997. Abstract for the Logic Colloquium '96. Abstract for the Logic Colloquium '96.

Outras publicações

• Jeannette Bohg, Reinhard Kahle, and Alexandre Miguel Pinto: International Tele-Teaching, A Progress Report. In Volker Dötsch, Klaus Hering, and Florian Schaar (editors): Auf dem Weg vom Hype in die Konsolidierung?, Proceedings of the Workshop on e-Learning 2005, HTWK Leipzig, 11.-12. Juli 2005. Hochschule für Technik, Wirtschaft und Kultur Leipzig (FH), Fachbereich Informatik, Mathematik und Naturwissenschaften, Leipzig, 2005.
• Reinhard Kahle: Estudo da Matemática na Alemanha. O Ábaco, 10:8-9, 2005.

Relatórios Técnicos

• Arnold Beckmann, Ulrich Berger, Birgit Elbl, Reinhard Kahle, Karl-Heinz Niggl, Oliver Kullmann, Monika Seisenberger, and Anton Setzer (editors): PCC 2007, Proof, Computation, Complexity, International Workshop, Swansea, 13--14 April, 2007. Computer Science Report Series, CSR 3-2007, University of Wales Swansea, 2007.
• Reinhard Kahle: David Hilbert über Paradoxien. Pré-Publicações, Preprint Number 06-17,Departamento de Matemática, Universidade de Coimbra, 2006.
• Karl-Heinz Niggl, Reinhard Kahle, and Birgit Elbl (editors): 5th International Workshop on Proof, Computation, Complexity, PCC '06. Universitätsverlag Ilmenau, 2006.
• Birgit Elbl, Reinhard Kahle, and Isabel Oitavem (editors): 4th International Workshop on Proof, Computation, Complexity, PCC '05. Conference Reports, Departamento de Matemática, Universidade Nova de Lisboa, 2005.
• Reinhard Kahle: Uniform limit in explicit mathematics with universes. Technical Report, IAM-97-002,IAM, Universität Bern, 1997.

Sebentas

• Reinhard Kahle: Einführung in die Logik. Humboldt-Studienzentrum, Universität Ulm, 2001/02. Humboldt-Studienzentrum, Universität Ulm.
• Reinhard Kahle: Einführung in die Logikprogrammierung. Wilhelm-Schickard-Institut für Informatik, Universität Tübingen, 2000/01. Wilhelm-Schickard-Institut für Informatik, Universität Tübingen.
• Reinhard Kahle: Automatisches Beweisen. Wilhelm-Schickard-Institut für Informatik, Universität Tübingen, 1997/98. Wilhelm-Schickard-Institut für Informatik, Universität Tübingen.