Linear Logic with Fixed Resources.

Dmitry A. Archangelsky Mikhail A. Taitslin

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

Keyphrases

linear logic
proof theoretic
desirable properties
sequent calculus
intuitionistic logic
logic programming
fixed point
proof search
resource allocation
logical framework
cut elimination
probability distribution
software engineering