Two identities for lattices, distributive lattices and modular lattices with a constant.

Published in: Notre Dame J. Formal Log. (1975)

Keyphrases

distributive lattices
boolean algebra
belief functions
general theory
mathematical theory
cardinality constraints
artificial intelligence
decision making
database systems
computational model
set theory