A Unified Approach for Spatial Object Modelling and Map Analysis Based on 2nd Order Many-Sorted Language

2nd Order Many-Sorted Language is presented here as an algebraic structure and, as such, yields an adequate tool for formalizing an extension of Peano Algebra for spatial object modeling, spatial data base information retrieval and manipulation, and also for map analysis. Here we will demonstrate that this tool provides a unified treatment for several classes of operations realized among maps, including those presented in Boolean Logic Models, Fuzzy Logic Models and Bayesian Probability Models.