A short proof that adding some permutation rules to β preserves SN

Published in: CoRR (2010)

Keyphrases

logical rules
association rules
decision rules
rule sets
data mining
artificial intelligence
database systems
rule learning
association rule mining
knowledge based systems
cut elimination
learning classifier systems
inference engine
real time
expert systems
information systems
real world