Distributive Lattices with a Negation Operator.

Sergio A. Celani

Published in: Math. Log. Q. (1999)

Keyphrases

distributive lattices
boolean algebra
belief functions
logic programs
general theory
stable models
mathematical theory
logic programming
database
databases
image processing
infrared