Strong Cut-elimination in Display Logic.

Heinrich Wansing

Published in: Reports Math. Log. (1995)

Keyphrases

cut elimination
sequent calculus
linear logic
natural deduction
wide class
sequent calculi
inference rules
proof theoretic
modal logic
sufficient conditions
intuitionistic logic
linear time temporal logic
theorem prover
logical framework
logic programming
proof search
proof theory
high level
machine learning