On unification and admissible rules in Gabbay-de Jongh logics.
Jeroen P. GoudsmitRosalie IemhoffPublished in: Ann. Pure Appl. Log. (2014)
Keyphrases
- higher order
- expressive power
- multi context systems
- association rules
- decision rules
- rule sets
- modal logic
- intuitionistic logic
- artificial intelligence
- proof theoretic
- state space
- classification rules
- production rules
- propositional calculus
- database
- rule discovery
- theorem prover
- rule base
- association rule mining
- expert systems
- information systems
- genetic algorithm
- data mining