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

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
نویسندگان
, ,