Full Completeness of the Multiplicative Linear Logic of Chu Spaces.

Harish Devarajan Dominic J. D. Hughes Gordon D. Plotkin Vaughan R. Pratt

Published in: LICS (1999)

Keyphrases

linear logic
fixed point
logic programming
proof theoretic
logical framework
sequent calculus
desirable properties
cut elimination
intuitionistic logic
proof search
multi agent
knowledge representation
programming language
post processing