Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Relations algebras in qualitative spatial reasoning

Düntsch I., Wang H., McCloskey S.

Fundamenta Informaticae

1999

Vol. 39, Nr 3

229-248

The formalization of the ``part - of'' relationship goes back to the mereology of S. Leśniewski, subsequently taken up by [34], and [11]. In this paper we investigate relation algebras obtained from dixfferent notions of ``part-of'', respectively, ``connectedness'' in various domains. We obtain minimal models for the relational part of mereology in a general setting, and when the underlying set is an atomless Boolean algebra.