Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
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.
Słowa kluczowe
Wydawca
Czasopismo
Rocznik
Tom
Strony
229--248
Opis fizyczny
bibliogr. 57 poz.
Twórcy
autor
autor
autor
- School of Information and Software Engineering, University of Ulster, Newtownabbey, BT37 0QB, N.Ireland, I.Duentsch H.Wang S.MccCloskey@ulst.ac.uk
Bibliografia
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS1-0007-0060