Lics

IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Fourteenth Annual IEEE Symposium on

Logic in Computer Science (LICS 1999)

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

Authors: Harish Devarajan Dominic J. D. Hughes Vaughan R. Pratt Gordon D. 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 J. D. Hughes and Vaughan R. Pratt and Gordon D. Plotkin},
    title = 	 {Full Completeness of the Multiplicative Linear Logic of Chu Spaces},
    booktitle =  {Proceedings of the Fourteenth Annual IEEE Symposium on Logic in Computer Science (LICS 1999)},
    year =	 {1999},
    month =	 {July}, 
    pages =      {234--243},
    location =   {Trento, Italy}, 
    publisher =	 {IEEE Computer Society Press}
  }
   

Last modified: 2017-04-0512:37
Andrzej Murawski