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.