Interpolation in Fragments of Classical Linear Logic.

Published in: J. Symb. Log. (1994)

Keyphrases

linear logic
fixed point
proof theoretic
sequent calculus
proof search
cut elimination
logical framework
intuitionistic logic
desirable properties
logic programming
modal logic