Towards full completeness of the linear logic of Chu spaces

Electronic Notes in Theoretical Computer Science

Volumn 6, Issue , 1997, Pages 308-325

  Pratt, Vaughan R ^a  

^a Stanford University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FUNCTION EVALUATION; LINEAR SYSTEMS; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; SEMANTICS; SET THEORY; THEOREM PROVING;

CHU SPACES; ENDOFUNCTIONS; MULTIPLICATIVE LINEAR LOGIC (MLL); TOPOLOGICAL SPACE;

LOGIC PROGRAMMING;

EID: 18944383087     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80152-5     Document Type: Conference Paper

References (15)

1. Abramsky Samson, Jagadeesan Radha. Games and full completeness for multiplicative linear logic. Journal of Symbolic Logic. 59:(2):1994;543-574
2. Barr M. *-Autonomous categories, Lecture Notes in Mathematics. 752:1979;. Springer-Verlag
3. Blute R.F., Scott P.J. Linear Lauchli semantics. Annals of Pure and Applied Logic. 77:1996;101-142
4. Blute R.F., Scott P.J. The shuffle Hopf algebra and noncommutative full completeness. Submitted to J. Symbolic Logic. 1996
5. Danos V., Regnier L. The structure of multiplicatives. New block. Archive for Mathematical Logic. 28:1989;181-203
6. Girard J.-Y. Linear logic. Theoretical Computer Science. 50:1987;1-102
7. V. Gupta. Chu Spaces: A Model of Concurrency. PhD thesis, Stanford University, September 1994. Tech. Report, available as ftp://boole.Stanford.edu/ pub/gupthes.ps.Z.
8. V. Gupta and V.R. Pratt. Gates accept concurrent behavior. In Proc. 34th Ann. IEEE Symp. on Foundations of Comp. Sci., pages 62 - 71, November 1993.
9. Hyland J.M.E., Ong C.-H.L. 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/tech-papers/Luke.Ong. 1993
10. Y. Lafont and T. Streicher. Games semantics for linear logic. In Proc. 6th Annual IEEE Symp. on Logic in Computer Science, pages 43 - 49, Amsterdam, July 1991.
11. Lambek J., Scott P. Introduction to Higher-Order Categorical Logic. 1986;Cambridge University Press
12. Mac Lane S. Categories for the Working Mathematician. 1971;Springer-Verlag
13. Pratt V.R. Chu spaces and their interpretation as concurrent objects. van Leeuwen J. Computer Science Today: Recent Trends and Developments, Lecture Notes in Computer Science. 100:1995;392-405
14. Pratt V.R. The Stone gamut: A coordinatization of mathematics. Logic in Computer Science. June 1995;444-454 IEEE Computer Society
15. Pratt V.R. Broadening the denotational semantics of linear logic. In Special Issue on the Linear Logic 96, Electronic Notes of Theoretical Computer Science, URL: http://www.elsevier.nl/locate/entcs/volume3.htm. 3:1996