Keyphrases
- natural deduction
- cut elimination
- proof search
- sequent calculus
- classical logic
- modal logic
- linear logic
- theorem proving
- inference rules
- information retrieval
- logic programming
- multi valued
- proof theory
- decision procedures
- automated theorem proving
- defeasible logic
- asynchronous circuits
- theorem prover
- predicate logic
- databases
- automated reasoning
- information systems
- mathematical proofs