Consequences, consistency, and independence in Boolean algebras.

Frank Markham Brown Sergiu Rudeanu

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

Keyphrases

real valued
boolean functions
topological spaces
consistency checking
distributive lattices
negative consequences
website
expert systems
temporal reasoning
uniform distribution
global constraints
boolean queries