Computable Isomorphisms of Boolean Algebras with Operators.

Bakhadyr Khoussainov Tomasz Kowalski

Published in: Stud Logica (2012)

Keyphrases

real valued
extended boolean
totally ordered
boolean functions
closure operator
multi valued
spatial reasoning
morphological operators
clifford algebra
topological spaces
turing machine
real time
temporal reasoning
building blocks
evolutionary algorithm
artificial intelligence
neural network
databases