Soft Lattice Implication Algebras.

Yi Liu Ya Qin Xiaoyan Qin Yang Xu

Published in: ICAIC (4) (2011)

Keyphrases

boolean algebra
distributive lattices
functional dependencies
spatial reasoning
lattice structure
topological spaces
genetic algorithm
lattice theory
clifford algebra
relational databases
database
theorem prover
algebraic structure
relation algebra