Boolean logics with relations.

Philippe Balbiani Tinko Tinchev

Published in: J. Log. Algebraic Methods Program. (2010)

Keyphrases

real valued
expressive power
modal logic
inference rules
semantic relations
boolean functions
propositional calculus
databases
artificial intelligence
attribute values