Conference
Basic Mereology with Equivalence Relations
Abstract
The traditional theory of “part of” relations (i.e. mereology) is enriched by adding the formal concept of equivalent and exchangeable parts. Various possible axioms and their roles are discussed. An approach is focused on application to model software structures.
Authors
Janicki R
Series
Lecture Notes in Computer Science
Volume
3618
Pagination
pp. 507-519
Publisher
Springer Nature
Publication Date
2005
DOI
10.1007/11549345_44
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743