Login / Signup

On Principal Congruences in Distributive Lattices with a Commutative Monoidal Operation and an Implication.

Ramon JansanaHernán Javier San Martín
Published in: Stud Logica (2019)
Keyphrases
  • distributive lattices
  • boolean algebra
  • belief functions
  • data fusion
  • functional dependencies
  • theorem prover
  • general theory
  • dempster shafer