Dominic Hughes - Selected Papers

Full completeness of the multiplicative linear b logic of Chu spaces [pdf - ps - ps.gz - dvi - dvi.gz]
With Harish Devarajan, Gordon Plotkin and Pratt.
IEEE Logic in Computer Science, 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.