Login / Signup
Interpolation in Fragments of Classical Linear Logic.
Dirk Roorda
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