Resolution calculus for the first order linear logic.

Published in: J. Log. Lang. Inf. (1993)

Keyphrases

linear logic
sequent calculus
cut elimination
proof search
proof theoretic
inference rules
first order logic
natural deduction
fixed point
logic programming
term rewriting
intuitionistic logic
logical framework
high resolution
higher order
low resolution
desirable properties
super resolution
horn clauses