Undecidability of representability as binary relations.

Robin Hirsch Marcel Jackson

Published in: J. Symb. Log. (2012)

Keyphrases

binary relations
inference rules
graph theoretic
transitive closure
formal concept analysis
semantic network
partial order
concept lattice
preference relations
data management