Remarks on Elementary Linear Logic.

Published in: Electron. Notes Theor. Comput. Sci. (1996)

Keyphrases

linear logic
sequent calculus
fixed point
desirable properties
cut elimination
intuitionistic logic
logic programming
proof search
logical framework
proof theoretic
reinforcement learning
object oriented