Results for 'Günter Kahle'

129 found
Order:
  1.  70
    Introduction: Proof-Theoretic Semantics.Reinhard Kahle & Peter Schroeder-Heister - 2006 - Synthese 148 (3):503-506.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  2.  67
    Reflections On Frege And Hilbert.Bernd Buldt, Volker Halbach & Reinhard Kahle - 2005 - Synthese 147 (1):1-2.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  3.  7
    The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories.Gerhard Jäger, Reinhard Kahle, Anton Setzer & Thomas Strahm - 1999 - Journal of Symbolic Logic 64 (1):53-67.
    This article provides the proof-theoretic analysis of the transfinitely iterated fixed point theories $\widehat{ID}_\alpha and \widehat{ID}_{ the exact proof-theoretic ordinals of these systems are presented.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  4.  2
    Universes in Explicit Mathematics.Gerhard Jäger, Reinhard Kahle & Thomas Studer - 2001 - Annals of Pure and Applied Logic 109 (3):141-162.
    This paper deals with universes in explicit mathematics. After introducing some basic definitions, the limit axiom and possible ordering principles for universes are discussed. Later, we turn to least universes, strictness and name induction. Special emphasis is put on theories for explicit mathematics with universes which are proof-theoretically equivalent to Feferman's.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  5. Introduction to Proof Theoretic Semantics. Special Issue Of.Reinhard Kahle & Peter Schroeder-Heister - 2006 - Synthese 148.
     
    Export citation  
     
    My bibliography   3 citations  
  6.  35
    A Proof-Theoretic View of Necessity.Reinhard Kahle - 2006 - Synthese 148 (3):659-673.
    We give a reading of binary necessity statements of the form “ϕ is necessary for ψ” in terms of proofs. This reading is based on the idea of interpreting such statements as “Every proof of ψ uses ϕ”.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  7.  47
    Los ciclos cósmicos y la imagen del continuo renacer en los Vedas.Madayo Kahle - 2010 - 'Ilu. Revista de Ciencias de Las Religiones 15:105-128.
    Los ciclos de la naturaleza han marcado profundamente tanto la cosmovisión reflejada en los himnos védicos como el desarrollo del ritualismo brahmánico. Siguiendo un progresivo proceso de abstracción, el hombre asocia cada vez más su destino a estos ciclos cósmicos lo que conduce a la doctrina de la transmigración de las almas.
    Translate
      Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  8.  26
    What is a Proof?Reinhard Kahle - 2015 - Axiomathes 25 (1):79-91.
    In this programmatic paper we renew the well-known question “What is a proof?”. Starting from the challenge of the mathematical community by computer assisted theorem provers we discuss in the first part how the experiences from examinations of proofs can help to sharpen the question. In the second part we have a look to the new challenge given by “big proofs”.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  24
    Truth in Applicative Theories.Reinhard Kahle - 2001 - Studia Logica 68 (1):103-128.
    We give a survey on truth theories for applicative theories. It comprises Frege structures, universes for Frege structures, and a theory of supervaluation. We present the proof-theoretic results for these theories and show their syntactical expressive power. In particular, we present as a novelty a syntactical interpretation of ID1 in a applicative truth theory based on supervaluation.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  10.  14
    N \Hbox{\Sf N} -Strictness in Applicative Theories.Reinhard Kahle - 2000 - Archive for Mathematical Logic 39 (2):125-144.
    We study the logical relationship of various forms of induction, as well as quantification operators in applicative theories. In both cases the introduced notion of $\hbox{\sf N}$ -strictness allows us to obtain the appropriate results.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  11.  6
    Universes Over Frege Structures.Reinhard Kahle - 2003 - Annals of Pure and Applied Logic 119 (1-3):191-223.
    In this paper, we study a concept of universe for a truth predicate over applicative theories. A proof-theoretic analysis is given by use of transfinitely iterated fixed point theories . The lower bound is obtained by a syntactical interpretation of these theories. Thus, universes over Frege structures represent a syntactically expressive framework of metapredicative theories in the context of applicative theories.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  12.  44
    Pániker, Agustín, "El sueño de Shitala: Viaje al mundo de las religiones". [REVIEW]Madayo Kahle - 2012 - 'Ilu. Revista de Ciencias de Las Religiones 17:273-274.
    No categories
    Translate
      Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  13.  2
    Structured Belief Bases.Reinhard Kahle - 2002 - Logic and Logical Philosophy 10:45.
  14.  14
    Der "Evangelische Ruf" des Bundes der Evangeliumschristen - Ein Dokument protestantisch-orthodoxer Begegnung- Für Ernst Benz zur Vollendung des 70. Lebensjahres.Wilhelm Kahle - 1977 - Zeitschrift für Religions- Und Geistesgeschichte 29 (1):305-324.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15.  14
    Michael Lehmann: Leitfaden der Ostkirchen. Sammlung "Aus Christentum und Kultur". Verlag Brüder Hollinek, Wien 1969, 164 pp. [REVIEW]Wilhelm Kahle - 1972 - Zeitschrift für Religions- Und Geistesgeschichte 24 (1):84-85.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16.  14
    Pilgerschaft und Wallfahrt in der Geschichte evangelischer Frömmigkeit.Wilhelm Kahle - 1964 - Zeitschrift für Religions- Und Geistesgeschichte 16 (4):314-332.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17.  15
    Ethical Considerations in International HIV Vaccine Trials: Summary of a Consultative Process Conducted by the Joint United Nations Programme on HIV/AIDS (UNAIDS).D. Guenter - 2000 - Journal of Medical Ethics 26 (1):37-43.
    Research that is initiated, designed or funded by sponsor agencies based in countries with relatively high social and economic development, and conducted in countries that are relatively less developed, gives rise to many important ethical challenges. Although clinical trials of HIV vaccines began ten years ago in the US and Europe, an increasing number of trials are now being conducted or planned in other countries, including several that are considered “developing” countries. Safeguarding the rights and welfare of individuals participating as (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  18.  15
    - Ein Beitrag zur Theologie- und Geistesgeschichte des 19. Jahrhunderts.Wilhelm Kahle - 1972 - Zeitschrift für Religions- Und Geistesgeschichte 24 (4):289-315.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19.  15
    Der Protestantismus in Rußland Und in der Sowjetunion.Wilhelm Kahle - 1969 - Zeitschrift für Religions- Und Geistesgeschichte 21 (4):330-345.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20.  13
    Basilius Zenkowsky: Hilarion Petzold, Das Bild des Menschen im Lichte der orthodoxen Anthropologie. Oekumenischer Verlag Dr. R. F. Edel, Marburg/Lahn 1969. Reihe: Orthodoxe Beiträge 139 pp. [REVIEW]Wilhelm Kahle - 1972 - Zeitschrift für Religions- Und Geistesgeschichte 24 (1):86-86.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  21.  13
    Die orthodoxe Kirche des Ostens im Spiegel der deutschen evangelischen Kirchenzeitungen während der zweiten Hälfte des 19. Jahrhunderts.Wilhelm Kahle - 1960 - Zeitschrift für Religions- Und Geistesgeschichte 12 (3):219-241.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22.  12
    Über den Begriff.Wilhelm Kahle - 1965 - Zeitschrift für Religions- Und Geistesgeschichte 17 (3):206-234.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23.  18
    Edwin D. Mares, Relevant Logic—a Philosophical Interpretation.Reinhard Kahle - 2007 - Studia Logica 85 (3):419-424.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  24.  2
    The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories.Gerhard Jager, Reinhard Kahle, Anton Setzer & Thomas Strahm - 1999 - Journal of Symbolic Logic 64 (1):53-67.
    This article provides the proof-theoretic analysis of the transfinitely iterated fixed point theories $\widehat{ID}_\alpha and \widehat{ID}_{<\alpha};$ the exact proof-theoretic ordinals of these systems are presented.
    Direct download  
     
    Export citation  
     
    My bibliography  
  25. Liste der Autoren List of Contributors.Jose L. Bermiidez, Nino Cocchiarella, Dirk Greimann, Leila Haaparanta, Ludger Jansen, Dale Jacquette, Reinhard Kahle, Franz von Kutschera, Wolfgang Neuser & Priv Doz Dr Christof Rapp - 2001 - Logical Analysis and History of Philosophy 4:239.
    No categories
     
    Export citation  
     
    My bibliography   1 citation  
  26.  16
    F. Vyncke, De Godsdienst der Slaven - Reihe: De Godsdiensten der Mensheid, Hrsgb. G. J. F. Bouritius Verlag J. J. Romen & Zonen Roermond 1969. 8 Bildbeilagen, 17 Zeichnungen 200 pp. [REVIEW]Wilhelm Kahle - 1972 - Zeitschrift für Religions- Und Geistesgeschichte 24 (4):362-363.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27.  43
    Mathematical Proof Theory in the Light of Ordinal Analysis.Reinhard Kahle - 2002 - Synthese 133 (1/2):237 - 255.
    We give an overview of recent results in ordinal analysis. Therefore, we discuss the different frameworks used in mathematical proof-theory, namely "subsystem of analysis" including "reverse mathematics", "Kripke-Platek set theory", "explicit mathematics", "theories of inductive definitions", "constructive set theory", and "Martin-Löf's type theory".
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  28.  15
    Zar Nikolaj I.Wilhelm Kahle - 1971 - Zeitschrift für Religions- Und Geistesgeschichte 23 (3):220-244.
  29.  9
    Applicative Theories for the Polynomial Hierarchy of Time and its Levels.Reinhard Kahle & Isabel Oitavem - 2013 - Annals of Pure and Applied Logic 164 (6):663-675.
    In this paper we introduce applicative theories which characterize the polynomial hierarchy of time and its levels. These theories are based on a characterization of the functions in the polynomial hierarchy using monotonicity constraints, introduced by Ben-Amram, Loff, and Oitavem.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  30.  14
    Hans-Heinrich Nolte: Religiöse Toleranz in Rußland 1600-1725, Göttinger Bausteine zur Geschichtswissenschaft Bd. 41. Musterschmidt-Verlag, Göttingen 1969, 216 pp. [REVIEW]Wilhelm Kahle - 1972 - Zeitschrift für Religions- Und Geistesgeschichte 24 (1):85-86.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31.  9
    Medical Encounter.Gail Coover, Dale Guenter, Elizabeth Clark, Janet Hortin, Joseph F. O’Donnell, Michael W. Rabow, Rachel N. Remen, Aanand D. Naik, Krista Hirschmann & Nancy Berlinger - 2007 - Complexity 21 (1).
    Direct download  
     
    Export citation  
     
    My bibliography  
  32.  3
    Archive for Mathematical Logic.Reinhard Kahle - 2001 - Bulletin of Symbolic Logic 7 (4):532-533.
  33.  2
    Three Shadow Plays by Muḥammad Ibn DāniyālThree Shadow Plays by Muhammad Ibn Daniyal.Everett K. Rowson, Muḥammad Ibn Dāniyāl, Paul Kahle & Muhammad Ibn Daniyal - 1994 - Journal of the American Oriental Society 114 (3):462.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34.  5
    The Universal Set and Diagonalization in Frege Structures.Reinhard Kahle - 2011 - Review of Symbolic Logic 4 (2):205-218.
    In this paper we summarize some results about sets in Frege structures. The resulting set theory is discussed with respect to its historical and philosophical significance. This includes the treatment of diagonalization in the presence of a universal set.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  35.  4
    The Third Reich and Argentina. The Diplomatic Relations with Special Reference to the Trade Policy (1933–1939).Günter Kahle - 1972 - Philosophy and History 5 (2):197-198.
  36.  9
    Freek Wiedijk (Ed.), The Seventeen Provers of the World.Reinhard Kahle - 2007 - Studia Logica 87 (2-3):369-374.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  37.  3
    Effective Teaching Results in Increased Science Achievement for All Students.Carla C. Johnson, Jane Butler Kahle & Jamison D. Fargo - 2007 - Science Education 91 (3):371-383.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  38.  2
    Preface.Wilfried Buchholz & Reinhard Kahle - 2005 - Annals of Pure and Applied Logic 133 (1-3):1.
  39. REVIEWS-Two Papers.W. Burr, V. Hartung & Reinhard Kahle - 2001 - Bulletin of Symbolic Logic 7 (4):532-533.
     
    Export citation  
     
    My bibliography  
  40.  1
    Computing with Mathematical Arguments.Jesse Alama & Reinhard Kahle - 2013 - In Hanne Andersen, Dennis Dieks, Wenceslao González, Thomas Uebel & Gregory Wheeler (eds.), New Challenges to Philosophy of Science. Springer Verlag. pp. 9--22.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  41. Die Yajus' des AśvamedhaDie Yajus' des Asvamedha.P. -E. Dumont, Shrikrishna Bhawe, P. Kahle & W. Kirfel - 1942 - Journal of the American Oriental Society 62 (1):80.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42. Galeni in Platonis Timaeum Commentarii Fragmenta.Heinrich Otto Galen, Paul Schröder, Moses Kahle & Maimonides - 1934 - In Aedibus B. G. Teubneri.
    Translate
     
     
    Export citation  
     
    My bibliography  
  43. Der Qarrād.E. Graefe, G. Jacob, P. Kahle & E. Littmann - 1914 - Der Islam: Journal of the History and Culture of the Middle East 5 (1):93-106.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44. Badā'i' al-Zuhūr fi Waqā'i' al-DuhūrBada'i' al-Zuhur fi Waqa'i' al-Duhur.Philip K. Hitti, Muḥammad ibn-Aḥmad ibn-Iyās, Paul Kahle, Muḥammad Muṣṭafa, Moritz Sobernheim, Muhammad ibn-Ahmad ibn-Iyas & Muhammad Mustafa - 1934 - Journal of the American Oriental Society 54 (2):213.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45. AsperoH, D. And Bagaria, J., Bounded Forcing Axioms and the Continuum (3) 179} 203 Bagaria, J., See AsperoH, D.(3) 179} 203 Balcar, B. And Simon, P., The Name for Kojman} Shelah Collapsing Function (1} 2) 131} 137. [REVIEW]G. JaKger, R. Kahle & T. Studer - 2001 - Annals of Pure and Applied Logic 109:243.
     
    Export citation  
     
    My bibliography  
  46. Burr Wolfgang and Hartung Volker. A Characterization of the Σ1-Definable Functions of KPω+(Uniform AC). Archive for Mathematical Logic, Vol. 37 No. 3 (1998), Pp. 199–214. Burr Wolfgang. A Diller—Nahm-Style Functional Interpretation of KPω. Archive for Mathematical Logic, Vol. 39 No. 8 (2000), Pp. 599–604. [REVIEW]Reinhard Kahle - 2001 - Bulletin of Symbolic Logic 7 (4):532-533.
  47. Die Aulād-‛Ali-Beduinen der Libyschen Wüste.Paul Kahle - 1913 - Der Islam: Journal of the History and Culture of the Middle East 4 (1):355-386.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48. From Brouwer to Hilbert. The Debate on the Foundations of Mathematics in the 1920s. [REVIEW]Reinhard Kahle - 2001 - Logical Analysis and History of Philosophy 4.
     
    Export citation  
     
    My bibliography  
  49. Intensionality: An Interdisciplinary Discussion.Reinhard Kahle (ed.) - 2005 - AK Peters.
    Translate
     
     
    Export citation  
     
    My bibliography  
  50. Islamische Schattenspielfiguren aus Egypten.Paul Kahle - 1911 - Der Islam: Journal of the History and Culture of the Middle East 2 (1):143-195.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 129