Definability and Canonicity for Boolean Logic with a Binary Relation.

Philippe Balbiani Tinko Tinchev

Published in: Fundam. Informaticae (2014)

Keyphrases

binary relations
boolean logic
inference rules
truth values
graph theoretic
transitive closure
semantic network
cardinal directions
genetic programming
database
databases
partial order
modal logic