Keyphrases
- modal logic
- truth values
- intuitionistic logic
- neural network
- logical rules
- rule sets
- computational complexity
- derivation rules
- classical logic
- multi valued
- rule extraction
- classification rules
- decision rules
- worst case
- data complexity
- production rules
- decision problems
- active rules
- linear logic
- logic programming
- rule engine
- cut elimination
- computational cost