Full Completeness of the Multiplicative Linear Logic of Chu Spaces

@inproceedings{Devarajan1999FullCO,
  title={Full Completeness of the Multiplicative Linear Logic of Chu Spaces},
  author={Harish Devarajan and Dominic J. D. Hughes and Gordon D. Plotkin and Vaughan R. Pratt},
  booktitle={LICS},
  year={1999}
}
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. 

Topics from this paper.

Similar Papers

Loading similar papers…