Normal Proofs, Cut Free Derivations and Structural Rules.
Greg RestallPublished in: Stud Logica (2014)
Keyphrases
- cut elimination
- production rules
- inference rules
- sequent calculus
- data mining
- association rule mining
- real time
- rule generation
- theorem proving
- rule sets
- association rules
- artificial intelligence
- structural analysis
- machine learning
- artificial neural networks
- domain experts
- image segmentation
- structural information
- decision trees
- theorem prover
- information systems
- rule extraction
- data sets
- database
- formal proof