Reflecting rules: A note on generalizing the deduction theorem.

Gillman Payette

Published in: J. Appl. Log. (2015)

Keyphrases

intuitionistic logic
association rules
linear logic
association rule mining
information retrieval
inference rules
rule discovery
classical logic
data structure
fuzzy sets
production rules
learning classifier systems
learning rules
rule based systems
von neumann
automated theorem proving