Quantifiers on distributive lattices.

Roberto Cignoli

Published in: Discret. Math. (1991)

Keyphrases

distributive lattices
boolean algebra
general theory
belief functions
natural language
first order logic
mathematical theory
dempster shafer
relational databases
databases
artificial intelligence
image processing