Some Semantical Aspects of Linear Logic.

Published in: Log. J. IGPL (1997)

Keyphrases

linear logic
cut elimination
sequent calculus
fixed point
database
proof theoretic
proof search
decision making
higher order
logical framework
intuitionistic logic