4 found
Sort by:
  1. David Albrecht, Frank A. Bäuerle, John N. Crossley & John S. Jeavons (1998). Curry-Howard Terms for Linear Logic. Studia Logica 61 (2):223 - 235.
    In this paper we 1. provide a natural deduction system for full first-order linear logic, 2. introduce Curry-Howard-style terms for this version of linear logic, 3. extend the notion of substitution of Curry-Howard terms for term variables, 4. define the reduction rules for the Curry-Howard terms and 5. outline a proof of the strong normalization for the full system of linear logic using a development of Girard's candidates for reducibility, thereby providing an alternative to Girard's proof using (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Frank A. Bäuerle, David Albrecht, John N. Crossley & John S. Jeavons (1998). Curry-Howard Terms for Linear Logic. Studia Logica 61 (2):223-235.
    In this paper we 1. provide a natural deduction system for full first-order linear logic, 2. introduce Curry-Howard-style terms for this version of linear logic, 3. extend the notion of substitution of Curry-Howard terms for term variables, 4. define the reduction rules for the Curry-Howard terms and 5. outline a proof of the strong normalization for the full system of linear logic using a development of Girard's candidates for reducibility, thereby providing an alternative to Girard's proof using proof-nets.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  3. Dominic Hyde, Rehabilitating Russell, John S. Jeavons & John N. Crossley (1992). Table Des Matieres du Vol. 137-138. Logique Et Analyse 35:206.
     
    My bibliography  
     
    Export citation  
  4. John S. Jeavons & John N. Crossley (1992). A Logic-Based Modelling of Prolog Resolution Sequences. Logique Et Analyse 35 (138):189-205.
     
    My bibliography  
     
    Export citation