A categorical semantics for polarized MALL

Annals of Pure and Applied Logic

Volumn 145, Issue 3, 2007, Pages 276-313

  Hamano, Masahiro ^a   Scott, Philip ^b  

^a KEIO UNIVERSITY   (Japan)

^b UNIVERSITY OF OTTAWA   (Canada)

Author keywords

Categorical semantics; Chu spaces; Dinaturality; Double gluing; Full completeness; Hypercoherences; L uchli semantics; Polarized linear logic

Indexed keywords

EID: 33845863914     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.apal.2006.09.001     Document Type: Article

References (41)

1. Abramsky S. Sequentiality vs. concurrency in games and logic. Math. Structures Comput. Sci. 13 (2003) 531-565
2. Abramsky S., and Jagadeesan R. Games and full completeness theorem for multiplicative linear logic. J. Symbolic Logic 59 2 (1994) 543-574
3. Amadio R.M., and Curien P.-L. Domains and Lambda-Calculi. Cambridge Tracts in Theoretical Computer Science vol. 46 (1998), Camb. Univ. Press
4. Andreoli J.-M. Logic programming with focusing proofs in linear logic. J. Logic Comput. 2 3 (1992)
5. Andreoli J.-M. Focussing and proof construction. Ann. Pure Appl. Logic 107 1 (2001) 131-163
6. Bainbridge E.S., Freyd P.J., Scedrov A., and Scott P.J. Functorial polymorphism. Theoret. Comput. Sci. 70 (1990) 35-64
7. Barr M. *-autonomous categories. Lecture Notes in Mathematics vol. 752 (1979), Springer-Verlag
8. Barr M. *-autonomous categories and linear logic. Math. Structures Comput. Sci. 1 (1991) 159-178
9. Blute R., Cockett R., and Seely R. The logic of linear functors. Math. Structures Comput. Sci. 12 (2002) 513-539
10. Blute R., Hamano M., and Scott P. Softness of hypercoherences and MALL full completeness. Ann. Pure Appl. Logic 131 (2005) 1-63
11. Blute R.F., and Scott P.J. Linear Läuchli semantics. Ann. Pure Appl. Logic 77 (1996) 101-142
12. Blute R.F., and Scott P.J. Category theory for linear logicians. In: Ehrhard T., Girard J.-Y., Ruet P., and Scott P. (Eds). Linear Logic and Computer Science. London Mathematical Society Lecture Note Series vol. 316 (2004), Camb. Univ. Press
13. Borceux F. Handbook of Categorical Algebra 1 (1994), Camb. Univ. Press
14. J.R.B. Cockett, M. Hasegawa, R.A.G. Seely, Coherence of the double involution on *-autonomous categories, Theory Appl. Categ. (in press)
15. J.R.B. Cockett, R.A.G. Seely, Polarized Category Theory, Modules and Game Semantics, 2004 (manuscript)
16. Došen K., and Petrić Z. Coherence for star-autonomous categories. Ann. Pure Appl. Logic 141 (2006) 225-242
17. Došen K., and Petrić Z. Proof-Net Categories (2005), Mathematical Institute, Belgrade (book manuscript)
18. Ehrhard T. Hypercoherence: A strongly stable model of linear logic. Math. Structures Comput. Sci. 3 (1993) 365-385
19. Also appeared in. In: Girard J.-Y., Lafont Y., and Regnier L. (Eds). Advances in Linear Logic. London Math. Soc. Series vol. 222 (1995), Camb. Univ. Press 83-108
20. Girard J.-Y. Linear logic: Its syntax and semantics. In: Girard J.-Y., Lafont L., and Regnier (Eds). Advances in Linear Logic. London Mathematical Society Lecture Note Series (1995) 1-42
21. Girard J.-Y. A new constructive logic: classical logic. Math. Structures Comput. Sci. 1 3 (1991) 255-296
22. Girard J.-Y. On the meaning of logical rules I: syntax vs. semantics. In: Berger U., and Schwichtenberg H. (Eds). Computational Logic. NATO ASI Series vol. 165 (1999), Springer 215-272
23. Girard J.-Y. Locus Solum: from the rules of logic to the logic of rules. Math. Structures Comput. Sci. 11 (2001) 301-506
24. Hamano M. Pontrjagin duality and full completeness for multiplicative linear logic (Without Mix). Math. Structures Comput. Sci. 10 2 (2000) 231-259 (Lambekfest special issue)
25. Hamano M. Softness of MALL proof-structures and a correctness criterion with mix. Arch. Math. Logic 43 (2004) 751-794
26. M. Hamano, P.J. Scott, On faithfulness (in preparation)
27. Harnik V., and Makkai M. Lambek's categorical proof theory and Läuchli's abstract realizability. J. Symbolic Logic 57 (1992) 200-230
28. R. Houston, D. Hughes, A. Schalk, Modelling linear logic without units, Preliminary Report, October 2005
29. D. Hughes, Simple free star-autonomous categories and full coherence, 2005 (manuscript)
30. Hyland J.M.E., and Schalk A. Glueing and orthogonality for models of linear logic. Theoret. Comput. Sci. 294 (2003) 183-231
31. Joyal A. Free bicomplete categories, Math Reports XVII. Acad. Sci. Canada (1995) 219-225
32. F. Lamarche, Games Semantics for Full Propositional Linear Logic, in: LICS, 1995, pp. 464-473
33. Lambek J., and Scott P.J. Introduction to Higher Order Categorical Logic. Cambridge Studies in Advanced Mathematics vol. 7 (1986), Cambridge University Press
34. Laurent O. Polarized proof-nets: Proof-nets for LC (extended abstract). TLCA '99. LNCS vol. 1581 (1999) 213-217
35. O. Laurent, Étude de la polarisation en logique (A study of polarization in logic.), Thèse de Doctorat, Institut de Mathématiques de Luminy - Université Aix-Marseille II, March 2002
36. P.-A. Melliès, Asynchronous games 3, An innocent model of linear logic. in: CTCS04, in: Electronic Notes in Theoretical Computer Science, March 2005
37. P.-A. Melliès, Categorical models of linear logic revisited, Theoret. Comput. Sci. (in press)
38. Miller D. An overview of linear logic programming. In: Ehrhard T., Girard J.-Y., Ruet P., and Scott P. (Eds). Linear Logic and Computer Science. LMS Lecture Note Series vol. 316 (2004), Camb. Univ. Press 119-150
39. Pratt V.R. Chu spaces as a semantic bridge between linear logic and mathematics. Theoret. Comput. Sci. 294 3 (2003) 439-471
40. Selinger P. Control categories and duality: on the categorical semantics of the lambda-mu calculus. Math. Structures Comput. Sci. 11 (2001) 207-260
41. A.M. Tan, Full completeness for models of linear logic, Ph.D. Thesis, Cambridge, 1997