Studia Logica: An International Journal for Symbolic Logic, Vol. 42, No. 2/3, Proceedings of the Finnish-Polish-Soviet Logic Conference (1983), pp. 197-207 (11 pages) Let EO be the elementary ontology ...
This is a preview. Log in through your library . Abstract This paper presents a calculus for mereotopological reasoning in which two-dimensional spatial regions are treated as primitive entities. A ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results