کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
379505 | 659310 | 2006 | 32 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A mathematical analysis of theories of parthood
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
پیش نمایش صفحه اول مقاله

چکیده انگلیسی
This paper presents a mathematical analysis of different formal ontological theories of parthood (mereologies). We summarize variants of the theory of General Extensional Mereology (GEM) and compare them with their abstract mathematical counterpart, set theory. In particular, we prove by set theoretical means that there exists a model of GEM where arbitrary summation of entities is not possible. Further, we use Stone’s duality theory for Boolean algebras to classify models of the different mereologies.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Data & Knowledge Engineering - Volume 59, Issue 1, October 2006, Pages 107–138
Journal: Data & Knowledge Engineering - Volume 59, Issue 1, October 2006, Pages 107–138
نویسندگان
Carsten Pontow, Rainer Schubert,