Canonical Extensions and Discrete Dualities for Finitely Generated Varieties of Lattice-based Algebras.

Brian A. Davey Hilary A. Priestley

Published in: Stud Logica (2012)

Keyphrases

finite number
automatically generated
discrete version
efficient implementation
artificial intelligence
website
data structure
continuous variables
spatial reasoning