Normal deduction in the intuitionistic linear logic

Archive for Mathematical Logic

Volumn 37, Issue 5-6, 1998, Pages 415-425

  Mints, G ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0032221384     PISSN: 09335846     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001530050106     Document Type: Article

References (19)

1. Abramsky S.: Computational Interpretations of Linear Logic. Theoretical Computer Science 111, 3-57 (1993)
2. Babaev A.: Equality of Canonical Maps in Closed Categories (Russian). Izvestija Azerb. Akad. Nauk, Ser. matem., N6 (1980)
3. Benton N., Bierman G., de Paiva V., Hyland M.: Linear lambda-calculus and Categorical Models Revisited. Springer LNCS 702, 61-84 (1993)
4. Girard J.-Y.: Linear Logic, Theoretical Computer Science 50, 1-102 (1987)
5. Girard J.-Y., Lafont J.: Intuitionistic Linear Logic, ICALP'87
6. Kleene S.C.: Permutation of inferences, Memoirs of the AMS (1952)
7. Kelly G.M., MacLane S.: Coherence in Closed Categories. Journal of Pure and Applied Algebra
8. Lincoln P., Mitchell J.: Operational aspects of Linear Lambda Calculus. Proc. IEEE Symp. on Logic in Computer Science, 235-247 (1992)
9. Mints G.: Lewis' Systems and System T. In [13] (Russian original 1974)
10. Mints G.: Closed Categories and the Theory of Proofs. In: [13] 183-212 (Russian original 1977)
11. Mints G.: Normal Forms of Sequent Derivations, Kreiseliana, A.K. Peters Publ., 459-492 (1996)
12. Mints G.: Linear Lambda Terms and Natural deduction, submitted
13. Mints G.: Selected Papers in Proof Theory. North-Holland-Bibliopolis (1992)
14. Pottinger G.: Normalization as a Homomorphic Image of Cutelimination. Annals of Pure and Applied Logic 12, 323-357 (1977)
15. Prawitz D.: Natural Deduction. Almquist and Wiksell (1965)
16. Ronchi della Rocca S., Roversi L.: Lambda Calculus and Intuitionistic Linear Logic. to appear in Studia Logica
17. Troelstra A.: Natural Deductions for Intuitionistic Linear Logic. APAL 73, n1, 79-108 (1995)
18. Valentini S.: The Judgement Calculus for Intuitionistic Linear Logic: Proof Theory and Semantics. Zeitschrift f. math. Log. 38, n1, 38-58 (1992)
19. Zucker J.: The Correspondence between Cut-elimination and Normalization. Annals ot Pure and Applied Logic 7, 1-156 (1974)