Linear Logic for Nets with Bounded Resources.

Dmitry A. Archangelsky Michael I. Dekhtyar Mikhail A. Taitslin

Published in: Ann. Pure Appl. Log. (1996)

Keyphrases

linear logic
fixed point
proof theoretic
resource allocation
logical framework
sequent calculus
logic programming
cut elimination
proof search
desirable properties
intuitionistic logic
inference rules
artificial intelligence
dynamic programming
post processing
multiple agents