On Köthe Sequence Spaces and Linear Logic.

Published in: Math. Struct. Comput. Sci. (2002)

Keyphrases

linear logic
fixed point
proof theoretic
logic programming
logical framework
sequent calculus
cut elimination
desirable properties
intuitionistic logic
expert systems