Discriminator varieties of double-Heyting algebras.

Christopher J. Taylor

Published in: Reports Math. Log. (2016)

Keyphrases

set theory
topological spaces
spatial reasoning
boolean algebra
distributive lattices
data sets
computer vision
image processing