Keyphrases
- logical rules
- set theory
- decision rules
- inference rules
- cut elimination
- rule engine
- active rules
- horn clauses
- closed world assumptions
- information systems
- intuitionistic logic
- business rules
- rule sets
- classification rules
- defeasible logic
- natural deduction
- proof theory
- proof theoretic
- association rules
- logical framework
- classical logic
- rule induction
- computational properties
- default reasoning
- logic programming
- derivation rules