On the Complexity of the Equational Theory of Residuated Boolean Algebras.

Zhe Lin Minghui Ma

Published in: WoLLIC (2016)

Keyphrases

boolean functions
worst case
theoretical framework
real valued
information theory
search engine
multi agent systems
lower bound
upper bound
computational model
belief functions
boolean queries
boolean algebra
equational theories