Login / Signup

Coupling an MV-algebra with a Boolean algebra.

Costas A. DrossosPanagis Karazeris
Published in: Int. J. Approx. Reason. (1998)
Keyphrases
  • boolean algebra
  • distributive lattices
  • cardinality constraints
  • constraint query languages
  • theorem prover
  • set theory
  • upper approximation
  • database