Keyphrases
- sequent calculus
- cut elimination
- proof search
- inference rules
- linear logic
- theorem prover
- natural deduction
- theorem proving
- formal proofs
- mathematical proofs
- modal logic
- wide class
- digital topology
- sufficient conditions
- formal proof
- probabilistic model
- precedence relations
- digital libraries
- natural language
- neural network