Involutive Residuated Lattices Based on Modular and Distributive Lattices.

Jeffrey S. Olson

Published in: Order (2014)

Keyphrases

distributive lattices
boolean algebra
general theory
belief functions
mathematical theory
theorem prover
lower order
higher order
dempster shafer
bayesian networks
relational databases
fuzzy logic
cardinality constraints
epistemic logic