Logic in Computer Science (LICS 1999)

Paper: Full Completeness of the Multiplicative Linear Logic of Chu Spaces (at LICS 1999)

Authors: Harish Devarajan Dominic Hughes Vaughan Pratt Gordon Plotkin

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 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}
  }