Keyphrases
- natural deduction
- cut elimination
- sequent calculus
- proof search
- logic programming
- modal logic
- theorem proving
- classical logic
- theorem prover
- linear logic
- formal theory
- predicate logic
- neural network
- sound and complete axiomatization
- automated reasoning
- databases
- defeasible logic
- logical framework
- automated theorem proving
- inference rules
- knowledge base
- logic synthesis
- data mining
- mathematical proofs