Revisiting the Correspondence between Cut Elimination and Normalisation.

José Espírito Santo

Published in: ICALP (2000)

Keyphrases

cut elimination
sequent calculus
linear logic
wide class
natural deduction
inference rules
proof theoretic
sufficient conditions
point correspondences
linear time temporal logic
pairwise
knowledge representation
object oriented
desirable properties