Unification on Subvarieties of Pseudocomplemented Distributive Lattices.

Leonardo Cabrer

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

Keyphrases

distributive lattices
boolean algebra
theorem prover
belief functions
general theory
mathematical theory
dempster shafer
multi agent