Affiliations: Department of Mathematics and Computer Science, Chair of Mathematical Methods in Computer Science, University of Warmia and Mazury in Olsztyn, Słoneczna str. 54, 10–710 Olsztyn, Poland. [email protected]
Correspondence:
[†]
Address for correspondence: Department of Mathematics and Computer Science. Chair of Mathematical Methods in Computer Science, University of Warmia and Mazury in Olsztyn, Słoneczna str. 54, 10–710 Olsztyn, Poland.
Note: [*] This work is a sequel to [1].
Abstract: Continuing our work on mass-based rough mereologies, we make use of the Stone representation theorem for complete Boolean algebras and we exhibit the existence of a finite base in each mereological space. Those bases in turn allow for the introduction of distributed mereologies; regarding each element of the base as a mereological space, we propose a mechanism for fusing those mereological spaces into a global distributed mereological space. We define distributed mass-assignments and rough inclusions pointing to possible applications.
Keywords: mereology, rough mereology, rough inclusion, mass assignment, Stone representation, Stone space, the compactness theorem, distributed mereology
