Russell and the foundations of qualitative spatial reasoning: the first steps

References

• Aiello, M., I. Pratt-Hartmann, and J. Van Benthem, eds. 2007. Handbook of Spatial Logics. Dordrecht: Springer.
   Google Scholar
• Bennett, Marry K. 1995. Affine and Projective Geometry. New York–Chichester–Brisbane–Toronto–Singapore: John Wiley & Sons Inc.
   Google Scholar
• Bennett, Brandon, and Anthony G. Cohn. 1999. “Consistency of Topological Relations in the Presence of Convexity Constraints.” Proceedings of the ‘Hot Topics in Spatio-Temporal reasoning’ Workshop, IJCAI-99.
   Google Scholar
• Cayley, Arthur. 1859. “A Sixth Memoir Upon Quantics.” Philosophical Transactions of the Royal Society of London CXLIX: 61–90.
   Google Scholar
• Clarke, Bowman L. 1981. “A Calculus of Individuals Based on ‘Connection’.” Notre Dame Journal of Formal Logic 22 (3): 204–218.
   Google Scholar
• Cohn, Anthony G., Brandon Bennett, John Gooday, and Nicholas M Gotts. 1997. “Qualitative Spatial Representation and Reasoning with the Region Connection Calculus.” Geoinformatica 1 (1): 275–316.
   Google Scholar
• Düntsch, Ivo, and Michael Winter. 2003. “A Representation Theorem for Boolean Contact Algebras.” Technical Report, Brock University, Department of Computer Science.
   Google Scholar
• Gandon, Sébastien. 2012. Russell’s Unknown Logicism: A Study in the History and Philosophy of Mathematics. New York: Palgrave Macmillan.
   Google Scholar
• Jochen, Renz. 2002. Qualitative Spatial Reasoning with Topological Information. Berlin: Springer-Verlag.
   Google Scholar
• Klein, Felix. 1928. Vorlesungen über Nicht-Euklidische Geometrie. Berlin-Heidelberg: Springer Verlag.
   Google Scholar
• Lando, T., and D. Scott. 2019. “A Calculus of Regions Respecting Both Measure and Topology.” Journal of Philosophical Logic 48: 825–850.
   Web of Science ®Google Scholar
• Monge, Gaspard. 1839. Géométrie descriptive.
   Google Scholar
• Newman, M. H. A. 1985. Elements of the Topology of Plane Sets of Points. Westport, CT: Greenwood Press.
   Google Scholar
• Peano, Giuseppe. 1889. I principii di geometria logicamente esposti. Torino: Fratelli Bocca.
   Google Scholar
• Pratt, Ian. 1999. “First-Order Qualitative Spatial Representation Languages with Convexity.” Journal of Spatial Cognition and Computation 1: 181–204.
   Google Scholar
• Randell, D. A., Z. Cui, and A. G. Cohn. 1992. “A Spatial Logic Based on Regions and Connection.” 3rd Int. Conf. on knowledge representation and reasoning, Morgan Kaufmann: 165–176.
   Google Scholar
• Russell, Bertrand. 1897. An Essay on the Foundations of Geometry. Cambridge: Cambridge University Press.
   Google Scholar
• Russell, Bertrand. 1901. Essai sur les fondements de la géométrie. Paris: Gauthier-Villars.
   Google Scholar
• Russell, Bertrand. 1903. The Principles of Mathematics. Cambridge: Cambridge University Press. Page references to: Russell, Bertrand. 2010. The Principles of Mathematics. London: George Allen & Unwin Ltd.
   Google Scholar
• Russell, B., K. Blackwell, A. Brink, N. Griffin, R. A. Rempel, and J. G. Slater. 1983. The Collected Papers of Bertrand Russell. Volume 1. London: George Allen & Unwin Ltd.
   Google Scholar
• Russell, B., N. Griffin, and A. C. Lewis. 1993. The Collected Papers of Bertrand Russell. Volume 2. London-New York: Unwin Hyman Ltd.
   Google Scholar
• Russell, B., and G. H. Moore. 1993. The Collected Papers of Bertrand Russell. Volume 3. London-New York: Routlege.
   Google Scholar
• Simons, Peter. 1987. Parts. A Study in Ontology. Oxford: Clarendon Press.
   Google Scholar
• Varzi, Achille C. 1996. “Parts, Wholes and Part-Whole Relations: The Prospects of Mereotopology.” Data and Knowledge Engineering 20 (3): 259–286.
   Web of Science ®Google Scholar
• von Staudt, K. G. C. 1847. Geometrie der Lage. Nürnberg: Bauer und Raspe.
   Google Scholar
• Weyl, Hermann. 1922. Space–Time–Matter. London: Methuen.
   Google Scholar
• Whitehead, Alfred N. 1907. The Axioms of Descriptive Geometry. Cambridge: Cambridge University Press.
   Google Scholar