Chu spaces as a semantic bridge between linear logic and mathematics

Theoretical Computer Science

Volumn 294, Issue 3, 2003, Pages 439-471

  Pratt, Vaughan ^a  

^a Stanford University   (United States)

Author keywords

Chu spaces; Linear logic; Universal mathematics

Indexed keywords

COMPUTATIONAL METHODS; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; SEMANTICS;

CHU SPACES;

FORMAL LOGIC;

EID: 0037452391     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(01)00169-4     Document Type: Conference Paper

References (33)

1. Abramsky S., Jagadeesan R. Games and full completeness for multiplicative linear logic. J. Symbolic Logic. 59(2):1994;543-574.
2. Abramsky S., Jagadeesan R. Games and full completeness for multiplicative linear logic. J. Symbolic Logic. 59(2):1994;543-574.
3. Abrusci V.M. Non-commutative intuitionistic linear propositional logic. Z. Math.c Logik Grundlagen Mathematik. 36:1990;297-318.
4. Barr M. *-Autonomous Categories Lecture Notes in Mathematics. vol. 752:1979;Springer, Berlin.
5. Barr M. *-Autonomous categories and linear logic Math Struct. Comput. Sci. 1(2):1991;159-178.
6. Barr M. Fuzzy models of linear logic. Math. Struct. Comput. Sci. 6(3):1996;301-312.
7. Birkhoff G., von Neumann J. The logic of quantum mechanics. Ann. Math. 37:1936;823-843.
8. Blass A. A game semantics for linear logic. Ann. Pure Appl Logic. 56:1992;183-220.
9. Blute R.F. Hopf algebras and linear logic (with appendix by M. Barr). Math. Struct. Comput. Sci. 6(2):1996;189-217.
10. Blute R.F., Scott P.J. Linear Läuchli semantics. Ann. Pure Appl. Logic. 77:1996;101-142.
11. Blute R.F., Scott P.J. The shuffle Hopf algebra and non-commutative full completeness. J. Symbolic Logic. 63:1998;1413-1435.
12. Casley R.T., Crew R.F., Meseguer J., Pratt V.R. Temporal structures. Math. Struct. Comput. Sci. 1(2):1991;179-213.
13. Danos V., Regnier L. The structure of multiplicatives. Arch. Math. Logic. 28:1989;181-203.
14. V. de Paiva, The dialectica categories, in: J.W. Gray, A. Scedrov (Eds.), Categories in Computer Science and Logic, Contemporary Mathematics, vol. 92, June 1987, Boulder, Colorado, 1989, pp. 47-62.
15. V. de Paiva, A dialectica-like model of linear logic, Proc. Conf. on Category Theory and Computer Science, Lecture Notes in Computer Science, vol. 389, Manchester, September 1989, Springer, Berlin, pp. 341-356.
16. H. Devarajan, D. Hughes, G. Plotkin, V. Pratt, Full completeness of the multiplicative linear logic of Chu spaces, Proc. 14th Ann. IEEE Symp. on Logic in Computer Science, Trento, Italy, July 1999, pp. 234-243.
17. Girard J.-Y. Linear logic. Theoret. Comput. Sci. 50:1987;1-102.
18. J.-Y. Girard, Towards a geometry of interaction, in: J.W. Gray, A. Scedrov (Eds.), Categories in Computer Science and Logic, Contemporary Mathematics, vol. 92, June 1987, Boulder, Colorado, 1989, pp. 69-108.
19. Hedrlín Z., Lambek J. How comprehensive is the category of semigroups. J. Algebra. 11:1969;195-212.
20. J.M.E. Hyland, C.-H.L. Ong, Fair games and full completeness for multiplicative linear logic without the mix-rule, Available by ftp from ftp.comlab.ox.ac.uk as fcomplete.ps.gz in /pub/Documents/techpapers/Luke.Ong, 1993.
21. Y. Lafont, T. Streicher, Games semantics for linear logic, Proc. 6th Ann. IEEE Symp. on Logic in Computer Science, Amsterdam, July 1991, pp. 43-49.
22. Lambek J., Scott P. Introduction to Higher-Order Categorical Logic. 1986;Cambridge University Press, Cambridge.
23. Mackey G. On infinite dimensional vector spaces. Trans. Amer. Math. Soc. 57:1945;155-207.
24. Mac Lane S. Categories for the Working Mathematician. 1971;Springer, Berlin.
25. Paré R., Román L. Dinatural numbers. J. Pure Appl. Algebra. 128:1998;33-92.
26. Plotkin G.D. Lambda definability in the full type hierarchy. Seldin J.P., Hindley J.R. To H.B. Curry. Essays on Combinatory Logic, Lambda Calculus and Formalism:1980;363-373 Academic Press, New York.
27. Pratt V.R. Modeling concurrency with partial orders. Int. J. Parallel Programming. 15(1):1986;33-71.
28. V.R. Pratt, The second calculus of binary relations, Proc. MFCS'93, Lecture Notes in Computer Science, vol. 711, Gdańsk, Poland, 1993, Springer, Berlin, pp. 142-155.
29. Pratt V.R. The Stone gamut. a coordinatization of mathematics Logic in Computer Science. June 1995;444-454 IEEE Computer Society, Silver Spring, MD.
30. V.R. Pratt, Towards full completeness of the linear logic of chu spaces, in: S. Brookes, M. Mislove (Eds.), Electronic Notes in Theoretical Computer Science, vol. 6, Pittsburgh, 1997, URL: http://www.elsevier.nl/locate/entcs/volume6.html, 18pp.
31. Pultr A., Trnková V. Combinatorial, Algebraic and Topological Representations of Groups, Semigroups, and Categories. 1980;North-Holland, Amsterdam.
32. A. Tan, Full completeness for models of linear logic, Ph.D. Thesis, King's College, University of Cambridge, October 1997.
33. Trnková V. Universal categories. Comment. Math. Univ. Carolinae. 7:1966;143-206.