Keyphrases
- natural deduction
- cut elimination
- sequent calculus
- theorem proving
- proof search
- modal logic
- predicate logic
- linear logic
- classical logic
- logic programming
- theorem prover
- information retrieval
- search engine
- inference rules
- genetic algorithm
- defeasible logic
- formal proofs
- equational theories
- proof theory
- real time
- automated theorem proving
- proof procedure
- formal theory
- logical framework
- automated reasoning
- data model
- databases