A new graphical calculus of proofs
Sandra AlvesMaribel FernándezIan MackiePublished in: TERMGRAPH (2011)
Keyphrases
- natural deduction
- sequent calculus
- automated theorem proving
- theorem proving
- theorem prover
- proof search
- cut elimination
- computer algebra
- automated deduction
- proof procedure
- inference rules
- data sets
- mathematical proofs
- modal logic
- graphical representations
- linear logic
- direct manipulation
- visual representations
- graphical representation
- algebraic structure
- multiscale
- similarity measure
- neural network
- formal proofs
- database