1.  18
    Lars Hallnäs (2006). On the Proof-Theoretic Foundation of General Definition Theory. Synthese 148 (3):589 - 602.
    A general definition theory should serve as a foundation for the mathematical study of definitional structures. The central notion of such a theory is a precise explication of the intuitively given notion of a definitional structure. The purpose of this paper is to discuss the proof theory of partial inductive definitions as a foundation for this kind of a more general definition theory. Among the examples discussed is a suggestion for a more abstract definition of lambda-terms (derivations in natural deduction) (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  2. L. Eriksson, Lars Hallnäs, Peter Joseph Schroeder-Heister & Elp '91 (1992). Extensions of Logic Programming Second International Workshop, Elp '91, Stockholm, Sweden, January 27-29, 1991 : Proceedings. [REVIEW]
    No categories
     
    Export citation  
     
    My bibliography  
  3. Lars Hallnäs (2006). On the Proof-Theoretic Foundation of General Definition Theory. Synthese 148 (3):589-602.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography