Semi-Axiomatic Sequent Calculus.

Henry DeYoung Frank Pfenning Klaas Pruiksma

Published in: FSCD (2020)

Keyphrases

sequent calculus
cut elimination
inference rules
linear logic
modal logic
natural deduction
linear time temporal logic
classical logic
decision theory
logic programming
theorem prover
logical framework