The finite model property for various fragments of linear logic

Journal of Symbolic Logic

Volumn 62, Issue 4, 1997, Pages 1202-1208

  Lafont, Yves ^a  

^a AIX MARSEILLE UNIVERSITÉ   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031324883     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2275637     Document Type: Article

References (11)

1. V. M. ABRUSCI, Phase semantics and sequent calculus for pure noncommutalive classical linear prepositional logic, this JOURNAL, vol. 56 (1991), pp. 1403-1451.
2. J.-Y. GIRARD, Linear logic, Theoretical Computer Science, vol. 50 (1987), pp. 1-102.
3. _, 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, vol. 222, Cambridge University Press, 1995, pp. 1-42.
4. M. KANOVICH, Simulating computations in second order non-commutative linear logic, manuscript, 1995.
5. A. P. KOPYLOV, Propositional linear logic with weakening is decidable, Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, IEEE Computer Society Press, 1995.
6. _, The undecidability of second order linear affine logic, manuscript, 1995.
7. Y. LAFONT, The undecidability of second order linear logic without exponentials, this JOURNAL, vol. 61 (1996), pp. 541-548.
8. Y. LAFONT and A. SCEDROV, The undecidability of second order multiplicative linear logic, Information and Computation, vol. 125 (1996), pp. 46-51.
9. P. LINCOLN, J. MITCHELL, A. SCEDROV, and N. SHANKAR, Decision problems for prepositional linear logic, Annals of Pure and Applied Logic, vol. 56 (1992), pp. 239-311.
10. M. OKADA, Girard's phase semantics and a higher order cut-elimination proof, available by anonymous ftp on iml.univ-mrs.fr, in pub/okada, 1994.
11. A. S. TROELSTRA and D. VAN DALEN, Constructivism in mathematics, an introduction, vol. 1, Studies in logic and the foundations of mathematics, vol. 121, North-Holland, 1988.