Login / Signup
Cut Elimination for Classical Bilinear Logic.
Joachim Lambek
Published in:
Fundam. Informaticae (1995)
Keyphrases
</>
cut elimination
sequent calculus
linear logic
natural deduction
wide class
inference rules
sequent calculi
proof theoretic
modal logic
intuitionistic logic
sufficient conditions
linear time temporal logic
proof theory
logical framework
theorem proving
theorem prover
proof search
classical logic