Keyphrases
- natural deduction
- cut elimination
- proof search
- sequent calculus
- modal logic
- theorem prover
- theorem proving
- logic programming
- automated theorem proving
- classical logic
- linear logic
- search engine
- epistemic logic
- automated reasoning
- inference rules
- search algorithm
- logical framework
- decision procedures
- predicate logic
- formal theory
- computer programs
- expert systems
- proof theory
- information systems
- logic synthesis
- databases
- formal proof