Title :
Full completeness of the multiplicative linear logic of Chu spaces
Author :
Devarajan, Harish ; Hughes, Dominic ; Plotkin, Gordon ; Pratt, Vaughan
Author_Institution :
Stanford Univ., CA, USA
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 :
formal logic; theorem proving; Chu spaces; binary logical transformations; cut-free proofs; full completeness; multiplicative linear logic; natural bijection; two-letter alphabet; Calculus; Electrical capacitance tomography; Humans; Logic;
Conference_Titel :
Logic in Computer Science, 1999. Proceedings. 14th Symposium on
Conference_Location :
Trento
Print_ISBN :
0-7695-0158-3
DOI :
10.1109/LICS.1999.782619
