Login / Signup
Cut Elimination for Classical Proofs as Continuation Passing Style Computation.
Ichiro Ogata
Published in:
ASIAN (1998)
Keyphrases
</>
cut elimination
sequent calculus
linear logic
natural deduction
wide class
inference rules
sufficient conditions
sequent calculi
proof theoretic
linear time temporal logic
modal logic
theorem prover
first order logic
proof search
training data
desirable properties