Spatial reasoning under imprecision using fuzzy set theory, formal logics and mathematical morphology