A logic of indiscernibility relations.
Ewa OrlowskaPublished in: Symposium on Computation Theory (1984)
Keyphrases
- equivalence relation
- rough sets
- relation algebra
- rough set theory
- classical logic
- modal logic
- semantic relations
- artificial intelligence
- sound and complete axiomatization
- proof theory
- algebraic structure
- modal operators
- automated reasoning
- spatial relations
- background knowledge
- logic programming
- multi valued
- horn clauses
- probabilistic logic
- transitive closure
- approximation spaces
- set theory
- asynchronous circuits
- knowledge discovery
- databases