Axiomatizability of algebras of binary relations.

Szabolcs Mikulás

Published in: FotFS (2001)

Keyphrases

binary relations
graph theoretic
transitive closure
inference rules
topological spaces
approximation spaces
semantic network
concept lattice
formal concept analysis
computational complexity
expert systems
data management
partial order