Natural deduction with general elimination rules.

Published in: Arch. Math. Log. (2001)

Keyphrases

natural deduction
special case
association rules
intuitionistic logic
production rules
rule sets
cut elimination
active learning
object oriented
closely related
attribute values
condition action rules