Full completeness of the multiplicative linear logic of chu spaces (1999)
Cached
Download Links
- [boole.stanford.edu]
- [www.dcs.ed.ac.uk]
- [boole.stanford.edu]
- DBLP
Other Repositories/Bibliography
by
Harish Devarajan
,
Dominic Hughes
,
Gordon Plotkin
,
Vaughan Pratt
| Venue: | Proc. IEEE Logic in Computer Science 14 |
| Citations: | 21 - 8 self |
BibTeX
@INPROCEEDINGS{Devarajan99fullcompleteness,
author = {Harish Devarajan and Dominic Hughes and Gordon Plotkin and Vaughan Pratt},
title = {Full completeness of the multiplicative linear logic of chu spaces},
booktitle = {Proc. IEEE Logic in Computer Science 14},
year = {1999}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We prove full completeness of multiplicative linear logic (MLL) without MIX under the Chu interpretation. In particular we show that the cut-free proofs of MLL theorems are in a natural bijection with the binary logical transformations of the corresponding operations on the category of Chu spaces on a two-letter alphabet. This is the online version of the paper of the same title appearing in the LICS’99 proceedings. 1
Citations
| 108 | 3-Autonomous Categories - Barr - 1980 |
| 53 | Lambda definability in the full type hierarchy - Plotkin - 1980 |
| 46 | Chu Spaces: A Model of Concurrency - Gupta - 1994 |
| 46 | Games semantics for linear logic - Lafont, Streicher - 1991 |
| 41 | autonomous categories, volume 752 - Barr - 1979 |
| 39 | Configuration structures - Glabbeek, Plotkin - 1995 |
| 35 | Abramsky and Radha Jagadeesan. Games and full completeness for multiplicative linear logic - Samson - 1994 |
| 30 | Gates accept concurrent behavior - Gupta, Pratt - 1993 |
| 29 | The Stone gamut: A coordinatization of mathematics - Pratt - 1995 |
| 12 | 2003), Chu spaces as a semantic bridge between linear logic and mathematics - Pratt |
| 10 | spaces and their interpretation as concurrent objects - Chu |
| 4 | Chu I: cofree equivalences, dualities and ∗-autonomous categories - Pavlović - 1997 |
