12 found
Order:
Disambiguations
Daniel Leivant [11]Daniel Maurice Raphaël Leivant [2]
  1. Syntactic Translations and Provably Recursive Functions.Daniel Leivant - 1985 - Journal of Symbolic Logic 50 (3):682-688.
  2. Innocuous Substitutions.Daniel Leivant - 1980 - Journal of Symbolic Logic 45 (2):363-368.
  3.  21
    On the Proof Theory of the Modal Logic for Arithmetic Provability.Daniel Leivant - 1981 - Journal of Symbolic Logic 46 (3):531-538.
  4.  17
    Assumption Classes in Natural Deduction.Daniel Leivant - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (1-2):1-4.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  5.  4
    Ramified Recurrence and Computational Complexity III: Higher Type Recurrence and Elementary Complexity.Daniel Leivant - 1999 - Annals of Pure and Applied Logic 96 (1-3):209-229.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  8
    The Optimality of Induction as an Axiomatization of Arithmetic.Daniel Leivant - 1983 - Journal of Symbolic Logic 48 (1):182-184.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  7. Intrinsic Reasoning About Functional Programs I: First Order Theories.Daniel Leivant - 2002 - Annals of Pure and Applied Logic 114 (1-3):117-153.
    We propose a rudimentary formal framework for reasoning about recursion equations over inductively generated data. Our formalism admits all equational programs , and yet singles out none. While being simple, this framework has numerous extensions and applications. Here we lay out the basic concepts and definitions; show that the deductive power of our formalism is similar to that of Peano's Arithmetic; prove a strong normalization theorem; and exhibit a mapping from natural deduction derivations to an applied λ -calculus, à la (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  8.  4
    Implicational Complexity in Intuitionistic Arithmetic.Daniel Leivant - 1981 - Journal of Symbolic Logic 46 (2):240-248.
  9. Absoluteness of Intuitionistic Logic.Daniel Maurice Raphaël Leivant - 1979 - Mathematisch Centrum.
  10. Assumption Classes in Natural Deduction.Daniel Leivant - 1979 - Mathematical Logic Quarterly 25 (1‐2):1-4.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  11.  2
    National Park of Itatiaia, Rio de Janeiro, Brazil, May 25–28, 1999.Samson Abramsky, John Baldwin, Craig Boutilier, Daniel Leivant & Francisco Miraglia - 1999 - Bulletin of Symbolic Logic 5 (3).
    Direct download  
     
    Export citation  
     
    My bibliography  
  12.  1
    Markov's Rule Revisited.Daniel Leivant - 1990 - Archive for Mathematical Logic 30 (2):125-127.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography