Cut elimination in the presence of axioms.

Sara Negri Jan von Plato

Published in: Bull. Symb. Log. (1998)

Keyphrases

cut elimination
sequent calculus
linear logic
knowledge base
first order logic
inference rules
natural deduction
wide class
proof theoretic
sufficient conditions
probabilistic model
knowledge representation
linear time temporal logic
sequent calculi