A complete axiom system for polygonal mereotopology of the real plane

Journal of Philosophical Logic

Volumn 27, Issue 6, 1998, Pages 621-658

  Pratt, Ian ^a   Schoop, Dominik ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

Logic; Mereology; Reasoning; Spatial; Topology

Indexed keywords

EID: 54649085007     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/A:1004361501703     Document Type: Article

References (15)

1. Asher, N. and Vieu, L.: Toward a geometry of common sense - A semantics and a complete axiomatization of mereotopology, in Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), 1995, pp. 846-852.
2. Biacino, L. and Gerla, G.: Connection structures: Grzegorczyk's and Whitehead's definition of point, Notre Dame J Formal Logic 37(3) (1996), 431-439.
3. Bollobás, Béla: Graph Theory: An Introductory Course, Spinger-Verlag, New York, 1979.
4. Borgo, S., Guarino, N. and Masolo, C.: A pointless theory of space based on strong connection and congruence, in L. C. Aiello, J. Doyle, and S. C. Shapiro (eds), Principles of Knowledge Representation and Reasoning: Proceedings ofthe Fifth International Conference (KR '96), Morgan Kaufmann, San Francisco, CA, 1996, pp. 220-229.
5. Chang, C. C. and Keisler, H. J.: Model Theory, 3rd edition, North-Holland, Amsterdam, 1990.
6. Clarke, B. L.: A calculus of individuals based on "connection", Notre Dame J. Formal Logic 22(3) (1981), 204-218.
7. Clarke, B. L.: Individuals and points, Notre Dame J. Formal Logic 26(1) (1985), 61-75.
8. Gotts, N. M., Gooday, J. M. and Cohn, A. G.: A connection based approach to commonsense topological description and reasoning, Monist 79(1) (1996), 51-75.
9. Johnstone, P. T.: Stone Spaces, Cambridge University Press, Cambridge, 1982.
10. Newman, M. H. A.: Elements of the Topology of Plane Sets of Points, Cambridge University Press, Cambridge, 1964.
11. Pratt, Ian and Lemon, Oliver: Ontologies for plane, polygonal mereotopology, Notre Dame J Formal Logic 38(2) (1997), 225-245.
12. Randell, D. A., Cui, Z. and Cohn, A. G.: A spatial logic based on regions and connection, in B. Nebel, C. Rich, and W. Swartout (eds), Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (KR '92), Morgan Kaufmann, Los Altos, CA, 1992, pp. 165-176.
13. Tarski, Alfred: Foundations of the geometry of solids, in Logic, Semantics, and Metamathematics, Clarendon Press, Oxford, 1956, pp. 24-29.
14. Whitehead, A. N.: Process and Reality, The MacMillan Company, New York, 1929.
15. Wilson, Robin J.: Introduction to Graph Theory, Longman, London, 1979.