Heyting Algebras with a Dual Lattice Endomorphism.

Hanamantagouda P. Sankappanavar

Published in: Math. Log. Q. (1987)

Keyphrases

boolean algebra
set theory
distributive lattices
lattice structure
spatial reasoning
databases
neural network
clifford algebra
artificial intelligence
image sequences
np hard
concept lattice
primal dual
topological spaces