22 found
Sort by:
  1. Jesse Alama & Reinhard Kahle (2013). Computing with Mathematical Arguments. In. In Hanne Andersen, Dennis Dieks, Wenceslao González, Thomas Uebel & Gregory Wheeler (eds.), New Challenges to Philosophy of Science. Springer Verlag. 9--22.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Reinhard Kahle & Isabel Oitavem (2013). Applicative Theories for the Polynomial Hierarchy of Time and its Levels. Annals of Pure and Applied Logic 164 (6):663-675.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Reinhard Kahle (2011). The Universal Set and Diagonalization in Frege Structures. 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.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Reinhard Kahle (2007). Edwin D. Mares, Relevant Logic—a Philosophical Interpretation. Studia Logica 85 (3):419-424.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. Reinhard Kahle (2007). Freek Wiedijk (Ed.), The Seventeen Provers of the World. Studia Logica 87 (2-3):369-374.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  6. Reinhard Kahle (2006). A Proof-Theoretic View of Necessity. 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 ϕ”.
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  7. Reinhard Kahle & Peter Schroeder-Heister (2006). Introduction: Proof-Theoretic Semantics. Synthese 148 (3):503-506.
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Reinhard Kahle & Peter Schroeder-Heister (2006). Introduction to Proof Theoretic Semantics. Special Issue Of. Synthese 148.
    No categories
     
    My bibliography  
     
    Export citation  
  9. Wilfried Buchholz & Reinhard Kahle (2005). Preface. Annals of Pure and Applied Logic 133 (1-3):1.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. Bernd Buldt, Volker Halbach & Reinhard Kahle (2005). Reflections on Frege and Hilbert. Synthese 147 (1):1 - 2.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  11. Reinhard Kahle (ed.) (2005). Intensionality: An Interdisciplinary Discussion. AK Peters.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  12. Reinhard Kahle (2004). Structured Belief Bases. Logic and Logical Philosophy 10:45.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. Reinhard Kahle (2003). Universes Over Frege Structures. Annals of Pure and Applied Logic 119 (1-3):191-223.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  14. Reinhard Kahle (2002). Mathematical Proof Theory in the Light of Ordinal Analysis. 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)  
     
    My bibliography  
     
    Export citation  
  15. Jose L. Bermiidez, Nino B. Cocchiarella, Dirk Greimann, Leila Haaparanta, Ludger Jansen, Dale Jacquette, Reinhard Kahle, Franz von Kutschera, Wolfgang Neuser & Priv Doz Dr Christof Rapp (2001). Liste der Autoren List of Contributors. Logical Analysis and History of Philosophy 4:239.
    No categories
     
    My bibliography  
     
    Export citation  
  16. W. Burr, V. Hartung & Reinhard Kahle (2001). REVIEWS-Two Papers. Bulletin of Symbolic Logic 7 (4):532-533.
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. Gerhard Jäger, Reinhard Kahle & Thomas Studer (2001). Universes in Explicit Mathematics. Annals of Pure and Applied Logic 109 (3):141-162.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  18. Reinhard Kahle (2001). 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] Bulletin of Symbolic Logic 7 (4):532-533.
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. Reinhard Kahle (2001). Review: Wolfgang Burr, Volker Hartung, A Characterization of the $Sigma_1$-Definable Functions of KP$Omega$ + (Uniform AC). [REVIEW] Bulletin of Symbolic Logic 7 (4):532-533.
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. Reinhard Kahle (2001). Truth in Applicative Theories. 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)  
     
    My bibliography  
     
    Export citation  
  21. Reinhard Kahle (2000). N \Hbox{\Sf N} -Strictness in Applicative Theories. 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.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  22. Gerhard Jäger, Reinhard Kahle, Anton Setzer & Thomas Strahm (1999). The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories. 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 (6 more)  
     
    My bibliography  
     
    Export citation