Locally Finite Reducts of Heyting Algebras and Canonical Formulas.

Guram Bezhanishvili Nick Bezhanishvili

Published in: Notre Dame J. Formal Log. (2017)

Keyphrases

rough sets
greedy algorithm
decision rules
decision table
rough set theory
set theory
real numbers
finite sets
globally consistent
data mining
database
attribute reduction
mathematical formulas
rough sets theory
spatial reasoning
finite number
temporal reasoning
np hard
expert systems
image processing
knowledge base