Simplification Rules for Intuitionistic Propositional Tableaux.
Mauro FerrariCamillo FiorentiniGuido FiorinoPublished in: ACM Trans. Comput. Log. (2012)
Keyphrases
- interval valued
- neural network
- multiresolution
- decision rules
- association rules
- proof procedure
- rule sets
- fuzzy relations
- first order logic
- modal logic
- theorem prover
- classical first order logic
- rule learner
- linear logic
- fuzzy information
- horn clauses
- fuzzy set theory
- classification rules
- description logics
- rough sets
- decision trees