Optimal natural dualities for varieties of Heyting algebras.

Brian A. Davey Hilary A. Priestley

Published in: Stud Logica (1996)

Keyphrases

real world
databases
bayesian networks
finding optimal
database
information systems
optimal solution
computational complexity
special case
state space
rough sets
closed form
distributive lattices