Keyphrases
- natural deduction
- cut elimination
- sequent calculus
- proof search
- modal logic
- theorem prover
- inference rules
- decision procedures
- automated theorem proving
- linear logic
- predicate logic
- theorem proving
- asynchronous circuits
- formal proofs
- horn clauses
- classical logic
- multi valued
- database
- mathematical proofs
- formal theory
- first order logic
- knowledge representation
- expert systems
- search algorithm
- real world
- data sets
- real time