On the law (a·b')'=b+a'·b' in de Morgan algebras and orthomodular lattices.

Eloy Renedo Enric Trillas Claudi Alsina

Published in: Soft Comput. (2003)

Keyphrases

distributive lattices
boolean algebra
belief functions
general theory
electronic commerce
decision making
case study
cardinality constraints
legal reasoning
mathematical theory
concept lattice
supreme court
real world
expert systems
feature selection
information systems
genetic algorithm