Keyphrases
- natural deduction
- cut elimination
- sequent calculus
- proof search
- modal logic
- logic programming
- automated reasoning
- decision procedures
- theorem prover
- theorem proving
- linear logic
- asynchronous circuits
- inference rules
- automated theorem proving
- equational theories
- defeasible logic
- special case
- epistemic logic
- proof procedure
- classical logic
- multi valued
- proof theory
- computer programs
- model checking
- logic synthesis
- data sets