A Revision of the Fundamental Rules of Combinatory Logic.
Haskell B. CurryPublished in: J. Symb. Log. (1941)
Keyphrases
- logical rules
- revision operators
- classical logic
- derivation rules
- intuitionistic logic
- production rules
- association rule mining
- multi valued
- active rules
- logic programming
- rule engine
- cut elimination
- belief revision
- rule sets
- classification rules
- knowledge base
- proof theory
- knowledge representation
- horn logic
- association rules