A Typed Calculuc Based on a Fragment of Linear Logic.

Published in: Theor. Comput. Sci. (1989)

Keyphrases

linear logic
logic programming
sequent calculus
higher order
fixed point
desirable properties
proof theoretic
intuitionistic logic
logical framework
cut elimination
inference rules
proof search
artificial intelligence
computational complexity
search space
temporal reasoning