12 found
Order:
Disambiguations
Daniel Leivant [11]Daniel Maurice Raphaël Leivant [2]
See also
Daniel M. Leivant
Indiana University, Bloomington
  1. Syntactic Translations and Provably Recursive Functions.Daniel Leivant - 1985 - Journal of Symbolic Logic 50 (3):682-688.
  2.  39
    On the Proof Theory of the Modal Logic for Arithmetic Provability.Daniel Leivant - 1981 - Journal of Symbolic Logic 46 (3):531-538.
  3. Innocuous Substitutions.Daniel Leivant - 1980 - Journal of Symbolic Logic 45 (2):363-368.
  4.  27
    Assumption Classes in Natural Deduction.Daniel Leivant - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (1-2):1-4.
  5.  27
    The Optimality of Induction as an Axiomatization of Arithmetic.Daniel Leivant - 1983 - Journal of Symbolic Logic 48 (1):182-184.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  12
    Implicational Complexity in Intuitionistic Arithmetic.Daniel Leivant - 1981 - Journal of Symbolic Logic 46 (2):240-248.
  7.  10
    Assumption Classes in Natural Deduction.Daniel Leivant - 1979 - Mathematical Logic Quarterly 25 (1‐2):1-4.
  8.  14
    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 (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  3
    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 (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  6
    Absoluteness of Intuitionistic Logic.Daniel Maurice Raphaël Leivant - 1979 - Mathematisch Centrum.
  11.  11
    Markov's Rule Revisited.Daniel Leivant - 1990 - Archive for Mathematical Logic 30 (2):125-127.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  8
    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  
     
    Bookmark