Gödel algebras free over finite distributive lattices.

Stefano Aguzzoli Brunella Gerla Vincenzo Marra

Published in: Ann. Pure Appl. Log. (2008)

Keyphrases

distributive lattices
boolean algebra
belief functions
general theory
mathematical theory
databases
database systems
finite automata