Characterization Theorem of Lattice Implication Algebra.

Published in: ISMVL (2004)

Keyphrases

boolean algebra
algebraic structure
valued logic
lattice structure
von neumann
query language
fuzzy relations
distributive lattices
machine learning
artificial intelligence
data model
rough sets
database
functional dependencies
fuzzy sets
theorem prover
knowledge base
learning algorithm
databases
data sets