Characteristic Formulas of Partial Heyting Algebras.

Published in: Logica Universalis (2013)

Keyphrases

partial information
set theory
image processing
spatial reasoning
distributive lattices
lower bound
expert systems
belief functions