|
Edinburgh Research Archive >
Informatics, School of >
Informatics Publications >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1842/220
|
| Title: | Full completeness of the multiplicative linear logic of Chu spaces |
| Authors: | Devarajan, Harish
Hughes, Dominic
Plotkin, Gordon
Pratt, Vaughan |
| Issue Date: | 1999 |
| Citation: | LICS’99 proceedings. |
| 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 operations on the category of
Chu spaces on a two-letter alphabet. |
| Keywords: | Laboratory for Foundations of Computer Science |
| URI: | http://hdl.handle.net/1842/220 |
| Appears in Collections: | Informatics Publications
|
Items in ERA are protected by copyright, with all rights reserved, unless otherwise indicated.
|
