Uniqueness of the implication for totally ordered MV-algebras.

Néstor G. Martínez Alejandro Petrovich

Published in: Ann. Pure Appl. Log. (2001)

Keyphrases

totally ordered
partially ordered
partial order
partial ordering
functional dependencies
motion vectors
information systems
database systems
sufficient conditions
databases
test collection
xml documents
association rules
case study
search engine
boolean algebra
learning algorithm