Keyphrases
- computer algebra
- natural deduction
- formal language
- algebraic structure
- sequent calculus
- proof search
- automated theorem proving
- cut elimination
- proof procedure
- theorem proving
- logic programming
- modal logic
- transition systems
- computational properties
- linear time temporal logic
- affine transformation
- predicate logic
- defeasible logic
- theorem prover
- database
- linear logic
- predicate calculus
- set theory
- boolean algebra
- multi valued
- automated reasoning
- moment invariants
- term rewriting
- proof theoretic