Natural deduction via graphs: formal definition and computation rules.
Herman GeuversIris LoebPublished in: Math. Struct. Comput. Sci. (2007)
Keyphrases
- natural deduction
- cut elimination
- intuitionistic logic
- theorem prover
- sequent calculus
- subgraph isomorphism
- inference rules
- association rule mining
- association rules
- production rules
- graph mining
- data mining
- wide class
- directed graph
- decision rules
- weighted graph
- graph theory
- graph matching
- graph databases
- rule sets
- sufficient conditions