Classical Linear Logic of Implications.

Masahito Hasegawa

Published in: CSL (2002)

Keyphrases

linear logic
fixed point
desirable properties
sequent calculus
proof theoretic
logical framework
cut elimination
intuitionistic logic
logic programming
inference rules
proof search
higher order
database
reinforcement learning
dynamic programming
state space