Keyphrases
- natural deduction
- cut elimination
- quantum computation
- sequent calculus
- logic programming
- theorem prover
- theorem proving
- automated reasoning
- modal logic
- proof search
- automated theorem proving
- sound and complete axiomatization
- equational theories
- horn logic
- asynchronous circuits
- proof theory
- decision procedures
- defeasible logic
- expressive power
- genetic algorithm
- classical first order logic
- database