Keyphrases
- natural deduction
- theorem prover
- automated theorem proving
- cut elimination
- sequent calculus
- proof search
- inference rules
- computer algebra
- theorem proving
- decision trees
- linear logic
- first order logic
- tree structure
- abstract argumentation
- provably correct
- detection mechanism
- tree automata
- secret key
- modal logic
- malicious users