Commutative bounded integral residuated orthomodular lattices are Boolean algebras.

Josef Tkadlec Esko Turunen

Published in: Soft Comput. (2010)

Keyphrases

distributive lattices
boolean algebra
boolean functions
belief functions
real valued
truth table
clifford algebra
special case
general theory
website
real time
face recognition
multiscale
temporal reasoning
spatial reasoning
boolean queries