An abbreviation of Croisot's axiom-system for distributive lattices with I.

Boleslaw Sobocinski

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

Keyphrases

distributive lattices
boolean algebra
belief functions
general theory
inference rules
modal logic
mathematical theory
epistemic logic
data mining
bayesian networks
knowledge representation
experimental data
dempster shafer