Quasivarieties of distributive lattices with a quantifier.

M. E. Adams Wieslaw Dziobiak

Published in: Discret. Math. (1994)

Keyphrases

distributive lattices
boolean algebra
belief functions
general theory
mathematical theory
dempster shafer
database systems
database design
theorem prover