Priestley duality for some algebras with a negation operator.

Sergio A. Celani

Published in: Contributions Discret. Math. (2007)

Keyphrases

logic programming
linear programming
logic programs
deductive databases
temporal reasoning
topological spaces
real time
data sets
neural network
real world
information retrieval
dynamic programming
predicate logic
containment of conjunctive queries
relation algebra
distributive lattices