On Vaught's Conjecture and finitely valued MV algebras.

Antonio Di Nola Giacomo Lenzi

Published in: Math. Log. Q. (2012)

Keyphrases

finite number
spatial reasoning
topological spaces
inductive inference
clifford algebra
distributive lattices
databases
temporal reasoning
motion vectors
evolutionary algorithm
search algorithm
multi agent
multi valued
general theory
relation algebra
search engine
data mining