Basic mereology with equivalence relations

Lecture Notes in Computer Science

Volumn 3618, Issue , 2005, Pages 507-519

  Janicki, Ryszard ^a  

^a MCMASTER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTER SOFTWARE;

AXIOMS; MEREOLOGY; SOFTWARE STRUCTURES;

COMPUTATION THEORY;

EID: 26844496861     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11549345_44     Document Type: Conference Paper

References (19)

1. A. Artale, G. Franconi, E. Guarina, L. Pazzi, Part-whole relations in object-centered systems, Data and Knowledge Engineering, 20 (1996), 347-383.
2. R. Casati, A. C. Varzi, Parts and Places, MIT Press, 1999.
3. N. Goodman, The Structure of Appearance, 3rd edition, D. Reidel, 1977.
4. A. Grzegorczyk, The System of Leśniewski in Relation to Contemporary Logical Research, Studia Logica 3 (1955), 77-95.
5. D.M. Hoffman, D.M. Weiss (eds.), Collected Papers by David L. Parnas, Addison-Wesley, 2001.
6. R. Janicki, Remarks on Mereology of Direct Products and Relations, in J. Desharnais, M. Frappier, W. MacCaull (eds.), Relational Methods in Computer Science, Methodos Publ. 2002, pp. 65-84.
7. R. Janicki, On a Mereological System for Relational Software Specifications, Proc. of MFCS'2002, Lecture Notes in Comp. Science 2420, Springer 2002, pp. 375-386.
8. R. Janicki, R. Khédri, On a Formal Semantics of Tabular Expressions, Science of Computer Programming, 39 (2001) 189-214.
9. R. Janicki, D. L. Parnas, J. Zucker, Tabular Representations in Relational Documents, in C. Brink, W. Kahl, G. Schmidt (eds.), Relational Methods in Computer Science, Springer 1997, pp. 184-196.
10. R. Khédri, L. Wang, L. Situ, Requirements Specification Decomposition: A System Testing Driven Approach, Proc. 7th Int'l Seminar On Relational Methods in Computer Science, Bad Melente, Germany, 2003,pp. 97-104.
11. H. Leonard, N. Goodman, The calculus of individuals and its uses, Journal of Symbolic Logic, 5 (1940), 45-55.
12. S. Leśniewski, Grundzüge eines neuen Systems der Grundlagen der Mathematik, Fundamenta Matematicae 24 (1929), 1-81.
13. L. Polkowski, A. Skowron, Rough Mereology; A New Paradigm for Approximate Reasoning, Journal of Approximate Reasoning, 15, 4 (1997), 316-333.
14. K. H. Rosen, Discrete Mathematics and its Applications, McGraw-Hill 1991.
15. F. A. Salustri, J. C. Lockledge, Towards a formal theory of products including mereology, Proc. 12th Int'l Conf. on Engn. Design, Munich, 1999, pp. 1125-30.
16. P. Simons, On Understanding Leśniewski, Hist. and Phil, of Logic 3 (1982), 165-191.
17. P. Simons, Parts. A Study in Ontology, Claredon Press, 1987.
18. C. Szyperski, Component Software, Addison-Wesley, 1997.
19. J. T. J. Srzednicki, V. F. Rickey (eds.), Leśniewski's Systems, Kluwer, 1984.