Isomorphism between Mereology and Boolean algebra without least element
There has been talk in this list about mereology's benefits as a foundation
of ontology. Also in Sowa's KR book mereology was very highly appreciated,
at the expence of axiomatic set theory. According to this short paper, there
is an isomorphism between mereology and Boolean algebra without least element:
http://people.imise.uni-leipzig.de/alexander.heussner/files/Mereology.pdf
This means that everything that can be described as a mereological system
can be described as well as a boolean algebra without least element and vice
versa. Different versions of axiomatic set theory naturally do have a richer
expressive power than boolean algebra/mereology.
Avril Styrman