Stone Duality for Nominal Boolean Algebras with И.

Murdoch James Gabbay Tadeusz Litak Daniela Petrisan

Published in: CALCO (2011)

Keyphrases

real valued
linear programming
boolean functions
boolean queries
spatial reasoning
image processing
temporal reasoning
topological spaces
expert systems
mobile robot
special case
artificial neural networks
genetic algorithm
real world
databases
boolean logic
dual formulation
data sets