Sequent calculus system for rough sets based on rough Stone algebras.
Jianhua DaiWeidong ChenYunhe PanPublished in: GrC (2005)
Keyphrases
- rough sets
- sequent calculus
- cut elimination
- inference rules
- linear logic
- modal logic
- rough set theory
- natural deduction
- approximation spaces
- rough sets theory
- fuzzy sets
- decision rules
- rough fuzzy
- linear time temporal logic
- granular computing
- attribute reduction
- data mining
- spatial reasoning
- rough set model
- pattern recognition
- fuzzy rough sets
- wide class
- dominance relation
- data analysis
- image processing
- temporal reasoning
- decision table
- theorem prover
- temporal logic
- fixed point
- fuzzy logic