De Morgan Algebras - completeness and recursion.

Louis H. Kauffman

Published in: MVL (1978)

Keyphrases

distributive lattices
boolean algebra
complex objects
data quality
deductive databases
spatial reasoning
temporal reasoning
data sets
decision trees
case study
high level
multi agent systems
transitive closure
clifford algebra