The finite model property for various fragments of intuitionistic linear logic

Journal of Symbolic Logic

Volumn 64, Issue 2, 1999, Pages 790-802

  Okada, Mitsuhiro ^a   Terui, Kazushige ^a  

^a KEIO UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033441201     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2586501     Document Type: Article

References (15)

1. V. MICHELE ABRUSCI, Non-commutative intuitionistic linear propositional logic, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 36 (1990), pp. 297-318.
2. W. BUSZKOWSKI, The finite model property for BCI and related systems, Studia Logica, vol. 57 (1996), pp. 303-323.
3. JEAN-YVES GIRARD, Linear logic, Theoretical Computer Science, vol. 50 (1987), pp. 1-102.
4. _, Linear logic: Its syntax and semantics, Advances in linear logic (J.-Y. Girard, Y. Lafont, and L. Regnier, editors), Cambridge University Press, 1995, Proceedings of the Workshop on Linear Logic, Ithaca, New York, June 1993, pp. 1-42.
5. ALEXEI P. KOPYLOV, Decidability of linear affine logic, Tenth Annual IEEE Symposium on Logic in Computer Science (San Diego, California) (D. Kozen, editor), June 1995, pp. 496-504.
6. YVES LAFONT, The finite model property for various fragments of linear logic, this JOURNAL, vol. 62 (1997), no. 4, pp. 1202-1208.
7. ROBERT K. MEYER, Improved decision procedures for pure relevant logic, 1973, Manuscript.
8. ROBERT K. MEYER and H. ONO, The finite model property for BCK and BCIW, Studia Logica, vol. 53 (1994), pp. 107-118.
9. MITSUHIRO OKADA, Phase semantics for higher order completeness, cut-elimination and normalization proofs, Theoretical Computer Science, to appear, Nov. 1999.
10. _, Phase semantics for higher order completeness, cut-elimination and normalization proofs (extended abstract), ENTCS (Electronic Notes in Theoretical Computer Science) (J.-Y. Girard, M. Okada, and A. Scedrov, editors), vol. 3: A Special Issue on the Linear Logic 96, Tokyo Meeting, Elsevier-ENTCS, 1996.
11. HIROAKIR ONO, Semantics for substructural logics, Substructural logics (K. Došen and P. Schröder-Heister, editors), Oxford University Press, 1994, pp. 259-291.
12. _, Decidability and finite model property of substructural logics, The Tbilisi Symposium on Logic, Language and Computation: Selected Papers (Studies in Logic, Language and Information) (J. Ginsburg et al., editors), CLSI, 1998, pp. 263-274.
13. GIOVANNI SAMBIN, The semantics of pretopologies, Substructural logics (K. Došen and P. Schröder-Heister, editors), Oxford University Press, 1994, pp. 293-307.
14. ANNE S. TROELSTRA, Lectures on linear logic, CSLI Lecture Notes 29, Center for the Study of Language and Information, Stanford, California, 1992.
15. ANNE S. TROELSTRA and DIRK VAN DALEN, Constructivism in Mathematics: An Introduction, Studies in logic and the foundations of mathematics 121, vol. 1, North Holland, 1988.