Satisfiability and Meaning of Formulas and Sets of Formulas in Approximation Spaces.

Anna Gomolinska

Published in: Fundam. Informaticae (2005)

Keyphrases

approximation spaces
propositional formulas
cnf formula
rough sets
topological spaces
granular computing
databases
knowledge representation
computational intelligence
propositional logic
set theoretic