Towards full completeness of the linear logic of Chu spaces.

Vaughan R. Pratt

Published in: MFPS (1997)

Keyphrases

linear logic
fixed point
sequent calculus
proof theoretic
logic programming
cut elimination
logical framework
intuitionistic logic
desirable properties
proof search
inference rules
higher order