Free Q-distributive lattices.

Roberto Cignoli

Published in: Stud Logica (1996)

Keyphrases

distributive lattices
boolean algebra
belief functions
general theory
fuzzy logic
bayesian networks
image analysis
color images
theorem prover