Algebraic Aspects of Cut Elimination.

Francesco Belardinelli Peter Jipsen Hiroakira Ono

Published in: Stud Logica (2004)

Keyphrases

cut elimination
sequent calculus
linear logic
wide class
linear time temporal logic
object oriented
inference rules
proof theoretic
artificial intelligence
temporal logic
natural deduction