Bi-Heyting algebras, toposes and modalities.

Gonzalo E. Reyes Houman Zolfaghari

Published in: J. Philos. Log. (1996)

Keyphrases

business intelligence
cross modal
set theory
distributive lattices
spatial reasoning
real time
neural network
multi modal
database
real world
artificial intelligence
website
image analysis
end users
knowledge representation