Light Linear Logic with Controlled Weakening.

Max I. Kanovich

Published in: LFCS (2009)

Keyphrases

linear logic
fixed point
proof theoretic
logic programming
logical framework
sequent calculus
cut elimination
desirable properties
intuitionistic logic
reinforcement learning
multi agent
inference rules
proof search