The Uniqueness of the Decomposition of Distributive Lattices into Sums of Boolean Lattices.

Joanna Grygiel Piotr Wojtylak

Published in: Reports Math. Log. (1997)

Keyphrases

distributive lattices
boolean algebra
belief functions
general theory
mathematical theory
dempster shafer
databases
boolean functions
binary matrix
random variables
theorem prover