MALL proof nets identify proofs modulo rule commutation.
Rob J. van GlabbeekDominic J. D. HughesPublished in: CoRR (2016)
Keyphrases
- theorem proving
- theorem prover
- mathematical proofs
- interactive theorem proving
- formal proof
- automated theorem provers
- natural deduction
- data sets
- mathematical knowledge
- automated theorem proving
- rule discovery
- active databases
- rule induction
- proof search
- expert systems
- decision trees
- shopping mall
- website
- artificial intelligence
- database