Paper: Full Completeness of the Multiplicative Linear Logic of Chu Spaces (at LICS 1999)
Authors: Harish Devarajan Dominic Hughes Vaughan Pratt Gordon PlotkinAbstract
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 functors on the category of Chu spaces over 2.
BibTeX
@InProceedings{DevarajanHughesPrat-FullCompletenessoft, author = {Harish Devarajan and Dominic Hughes and Vaughan Pratt and Gordon Plotkin}, title = {Full Completeness of the Multiplicative Linear Logic of Chu Spaces}, booktitle = {Proceedings of the Fourteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1999}, year = 1999, editor = {Giuseppe Longo}, month = {July}, pages = {234--242}, location = {Trento, Italy}, publisher = {IEEE Computer Society Press} }