A Connection Between Cut Elimination and Normalization.

Mirjana Borisavljevic

Published in: Arch. Math. Log. (2006)

Keyphrases

cut elimination
sequent calculus
linear logic
inference rules
wide class
natural deduction
linear time temporal logic
proof theoretic
sufficient conditions
sequent calculi
modal logic
expert systems
search space
software engineering
logic programming
intuitionistic logic