Keyphrases
- natural deduction
- sequent calculus
- cut elimination
- inference rules
- linear logic
- theorem proving
- theorem prover
- sequent calculi
- wide class
- databases
- decision procedures
- proof search
- formal proof
- formal proofs
- desirable properties
- modal logic
- temporal logic
- probabilistic model
- hidden markov models
- high level
- feature selection
- social networks
- search engine
- automated theorem provers