Keyphrases
- computer algebra
- natural deduction
- sequent calculus
- formal language
- cut elimination
- algebraic structure
- proof procedure
- automated theorem proving
- relation algebra
- proof theory
- inference rules
- linear logic
- predicate logic
- transition systems
- theorem prover
- proof search
- modal logic
- proof theoretic
- theorem proving
- logic programming