The undecidability of second order linear logic without exponentials

Journal of Symbolic Logic

Volumn 61, Issue 2, 1996, Pages 541-546

  Lafont, Yves ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030559455     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2275674     Document Type: Article

References (10)

1. J.-Y. GIRARD, Linear logic, Theoretical Computer Science, vol. 50 (1987), pp. 1-102.
2. _, Linear logic : its syntax and semantics, Advances in Linear Logic (J.-Y. Girard, Y. Lafont, and L. Regnier, editors), London Mathematical Society Lecture Note Series, 222, Cambridge University Press, 1995, pp. 1-42.
3. M. KANOVICH, The direct simulation of Minsky machines in linear logic, Advances in Linear Logic (J.-Y. Girard, Y. Lafont, and L. Regnier, editors), London Mathematical Society Lecture Note Series, no. 222, Cambridge University Press, 1995, pp. 123-145.
4. Y. LAFONT and A. SCEDROV, The undecidability of second order multiplicative linear logic, to appear in Information and Computation, 1996.
5. J. LAMBEK, How to program an infinite abacus, Canadian Mathematical Bulletin, vol. 4 (1961), pp. 295-302.
6. P. LINCOLN, J. MITCHELL, A. SCEDROV, and N. SHANKAR, Decision problems for propositional linear logic, Annals of Pure and Applied Logic, vol. 56 (1992), pp. 239-311.
7. M. MINSKY, Recursive unsolvability of Post's problem of 'tag' and other topics in the theory of Turing machines, Annals of Mathematics, vol. 74 (1961), pp. 437-455.
8. A. SCEDROV P. LINCOLN and N. SHANKAR, Decision problems for second order linear logic, 10-th annual IEEE Symposium on logic in computer science (J.-Y. Girard, editor), IEEE Computer Society Press, San Diego, California, 1995, pp. 239-311.
9. A. SCEDROV, A brief guide to linear logic, Current trends in theoretical computer science (G. Rozenberg and A. Salomaa, editors), World Scientific Publishing Co., 1993, pp. 377-394.
10. H. SCHELLINX, Some syntactical observations on linear logic, Journal of Logic and Computation, vol. 1 (1991), no. 4, pp. 537-559.