Sequent Calculus in Natural Deduction Style.

Sara Negri Jan von Plato

Published in: J. Symb. Log. (2001)

Keyphrases

natural deduction
sequent calculus
cut elimination
inference rules
theorem prover
theorem proving
linear time temporal logic
linear logic
intuitionistic logic
modal logic
automated reasoning
bayesian networks
general purpose