Completion of Boolean algebras in MSet.

M. Mehdi Ebrahimi Mojgan Mahmoudi

Published in: J. Log. Algebraic Methods Program. (2009)

Keyphrases

real valued
boolean functions
topological spaces
spatial reasoning
boolean logic
distributive lattices
digital libraries
real time
neural network
database systems
special case
relation algebra