On Decidable Varieties of Heyting Algebras.

Devdatt P. Dubhashi

Published in: J. Symb. Log. (1992)

Keyphrases

set theory
first order logic
distributive lattices
transitive closure
spatial reasoning
clifford algebra
neural network
image processing
topological spaces
special case
logic programs
datalog programs
polynomial hierarchy
relation algebra