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.
Partially supported by NSERC of Canada.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Artale, A., Franconi, G., Guarina, E., Pazzi, L.: Part-whole relations in object-centered systems. Data and Knowledge Engineering 20, 347–383 (1996)
Casati, R., Varzi, A.C.: Parts and Places. MIT Press, Cambridge (1999)
Goodman, N.: The Structure of Appearance. In: Reidel, D. (ed.), 3rd edn. (1977)
Grzegorczyk, A.: The System of Leśniewski in Relation to Contemporary Logical Research. Studia Logica 3, 77–95 (1955)
Hoffman, D.M., Weiss, D.M.: Collected Papers by David L. Parnas. Addison-Wesley, Reading (2001)
Janicki, R.: Remarks on Mereology of Direct Products and Relations. In: Desharnais, J., Frappier, M., MacCaull, W. (eds.) Relational Methods in Computer Science, pp. 65–84. Methodos Publ. (2002)
Janicki, R.: On a mereological system for relational software specifications. In: Diks, K., Rytter, W. (eds.) MFCS 2002. LNCS, vol. 2420, pp. 375–386. Springer, Heidelberg (2002)
Janicki, R., Khédri, R.: On a Formal Semantics of Tabular Expressions. Science of Computer Programming 39, 189–214 (2001)
Janicki, R., Parnas, D.L., Zucker, J.: Tabular Representations in Relational Documents. In: Brink, C., Kahl, W., Schmidt, G. (eds.) Relational Methods in Computer Science, pp. 184–196. Springer, Heidelberg (1997)
Khédri, R., Wang, L., Situ, L.: Requirements Specification Decomposition: A System Testing Driven Approach. In: Proc. 7th Int’l Seminar On Relational Methods in Computer Science, Bad Melente, Germany, pp. 97–104 (2003)
Leonard, H., Goodman, N.: The calculus of individuals and its uses. Journal of Symbolic Logic 5, 45–55 (1940)
Leśniewski, S.: Grundzüge eines neuen Systems der Grundlagen der Mathematik. Fundamenta Matematicae 24, 1–81 (1929)
Polkowski, L., Skowron, A.: Rough Mereology; A New Paradigm for Approximate Reasoning. Journal of Approximate Reasoning 15(4), 316–333 (1997)
Rosen, K.H.: Discrete Mathematics and its Applications. McGraw-Hill, New York (1991)
Salustri, F.A., Lockledge, J.C.: Towards a formal theory of products including mereology. In: Proc. 12th Int’l Conf. on Engn. Design, Munich, pp. 1125–1130 (1999)
Simons, P.: On Understanding Leśniewski. Hist. and Phil. of Logic 3, 165–191 (1982)
Simons, P.: Parts. A Study in Ontology. Claredon Press (1987)
Szyperski, C.: Component Software. Addison-Wesley, Reading (1997)
Srzednicki, J.T.J., Rickey, V.F.: Leśniewski’s Systems. Kluwer, Dordrecht (1984)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Janicki, R. (2005). Basic Mereology with Equivalence Relations. In: Jȩdrzejowicz, J., Szepietowski, A. (eds) Mathematical Foundations of Computer Science 2005. MFCS 2005. Lecture Notes in Computer Science, vol 3618. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11549345_44
Download citation
DOI: https://doi.org/10.1007/11549345_44
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28702-5
Online ISBN: 978-3-540-31867-5
eBook Packages: Computer ScienceComputer Science (R0)