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
• Sebentas

Publicações editadas

• Erich Grädel and Reinhard Kahle (editors): Selected papers of CSL '09. Logical Methods in Computer Science, 201x. Special issue.In preparation.
• Erich Grädel and Reinhard Kahle (editors): Computer Science Logic. Lecture Notes in Computer Science, vol. 5771, Springer, 2009.
• 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 and Isabel Oitavem: Applicative theories for the polynomial hierarchy of time and its levels. Annals of Pure and Applied Logic, accepted for publication.
• Reinhard Kahle: The universal set and diagonalization in Frege structures. Review of Symbolic Logic, 4(2):205-218, 2011.
• 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 and Peter Schroeder-Heister: Proof-theoretic semantics --- Introduction. Synthese, 148(3):503-506, 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

• Reinhard Kahle: Modalities without worlds. In S. Rahman, G. Primiero, and M. Marion (editors): The Realism-Antirealism Debate in the Age of Alternative Logics. Logic, Epistemology and the Unity of Science, vol. 23, pages 101-118. Springer, 2012.
• Reinhard Kahle and Isabel Oitavem: An applicative theory for FPH. In Steffen van Bakel, Stefano Berardi, and Ulrich Berger (editors): Classical Logic and Computation 2010. Electronic Proceedings in Theoretical Computer Science, vol. 47, pages 44-56. 2011.
• Reinhard Kahle and Isabel Oitavem: An applicative theory for PH. In Steffen van Bakel, Stefano Berardi, and Ulrich Berger (editors): Classical Logic and Computation 2010. pages 51-67. Federated MFCS CSL Conference, Brno, 2010.
• Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, and Isabel Oitavem: Recursion Schemata for NC^k. In M. Kaminski and S. Martini (editors): CSL 2008. Lecture Notes in Computer Science, vol. 5213, pages 49-63. Springer, 2008.
• 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: Hilbert and Poincaré and the paradoxes. In Hassan Tahiri (editor): Poincaré's Philosophy of Mathematics: Intuition, Experience, Creativity. Cadernos de Filosofia das Ciências, vol. 11, pages 79-93. Centro de Filosofia das Ciências da Universidade de Lisboa, 2011.
• Reinhard Kahle and Anton Setzer: An extended predicative definition of the Mahlo universe. In Ralf Schindler (editor): Ways of Proof Theory. Mathematical Logic, pages 315-340. Ontos Verlag, 2010.
• Reinhard Kahle: The Universal Set A (never fought) Battle between Philosophy and Mathematics. In Olga Pombo and Ángel Nepomuceno (editors): Lógica e Filosofia da Ciência. Colecção Documenta, vol. 2, pages 53-65. Centro de Filosofia das Ciências da Universidade de Lisboa, 2009.
• Reinhard Kahle: Against possible worlds. In C. Degremont, L. Keiff, and H. Rückert (editors): Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman. Tributes, vol. 7, pages 235-253. College Publications, 2008.
• Reinhard Kahle: Konstruktivismus und Semantik. In J. Mittelstraß (editor): Der Konstruktivismus im Ausgang der Philosophie von Wilhelm Kamlah und Paul Lorenzen. pages 197-212. Mentis, 2008.
• 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.

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. Volume 40 in der Reiheof thenos 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-3):369-374, 2007.
• 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: A Herança de David Hilbert na Filosofia da Matemática. Boletim da Sociedade Portuguesa de Matemática, 65 (Suplemento)2011. Resumo alargado do Seminário Nacional de História da Matemática 2011.
• Reinhard Kahle: Understanding functional self-application. Bulletin of Symbolic Logic, 15(1):118-119, 2009. Abstract for the Logic Colloquium 2008.
• 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.
• 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.
• Reinhard Kahle and Anton Setzer: Extended predicative universes. Bulletin of Symbolic Logic, 8(1):141, 2002. 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.
• Reinhard Kahle and Volker Peckhaus: Hilbert's Paradox. Bulletin of Symbolic Logic, 7(1):122, 2001. 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.
• Reinhard Kahle: A proof-theoretic view of necessity. Bulletin of Symbolic Logic, 6(1):115, 2000. 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.
• Reinhard Kahle: Uniform limit in explicit mathematics with universes. Bulletin of Symbolic Logic, 4(1):91-92, 1998. 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.

Outras publicações

• 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: Towards Reverse Proofs-as-Programs. In Arnold Beckmann, Costas Dimitracopoulos, and Benedikt Löwe (editors): Logic and Theory of Algorithms, Fourth Conference on Computability in Europe, CiE 2008, Local Proceedings. pages 224-233. University of Athens, 2008.
• 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.
• Reinhard Kahle: Uniform limit in explicit mathematics with universes. Technical Report, IAM-97-002,IAM, Universität Bern, 1997.
• Luís Moniz Pereira and Reinhard Kahle: Cooperation of Universidade Nova de Lisboa and Technische Universität at Dresden in the field of Computational Logic. Computational Logic Newsletter, 3:26, 2003.
• Reinhard Kahle: Bologna at the basis. In Reinhard Kahle: Governance and Management Models is Higher Education - A Global Perspective. Conference CD, Coimbra Centre for Innovative Management and Faculty of Economics of the University of Coimbra, 2008.

Sebentas

• Reinhard Kahle: Logik. Mathematische Fakultät, Universität Göttingen, 2007/08. Mathematische Fakultät, Universität Göttingen.
• 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.