Full completeness of the multiplicative linear logic of Chu spaces

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1999, Pages 234-243

  Devarajan, Harish ^a   Hughes, Dominic ^a   Plotkin, Gordon ^a   Pratt, Vaughan ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTATIONAL LINGUISTICS; COMPUTER SIMULATION; SET THEORY; THEOREM PROVING;

CHU SPACE; DIANATURAL TRANSFORMATION; LOGICAL TRANSFORMATION; MULTIPLICATIVE LINEAR LOGIC;

FORMAL LOGIC;

EID: 0032597506     PISSN: None     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (18)