Login / Signup

A Natural-style Prover in Theorema Using Sequent Calculus with Unit Propagation.

Tudor Jebelean
Published in: LPAR Complementary Volume (2024)
Keyphrases
  • sequent calculus
  • proof search
  • inference rules
  • linear logic
  • theorem proving
  • cut elimination
  • modal logic
  • theorem prover
  • natural deduction
  • fixed point
  • max sat
  • logical framework
  • linear time temporal logic