Sign in

Semi-Axiomatic Sequent Calculus.

Henry DeYoungFrank PfenningKlaas 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