Notre Dame Journal of Formal Logic

Point-free Foundation of Geometry and Multivalued Logic

Cristina Coppola, Giangiacomo Gerla, and Annamaria Miranda

Full-text: Access denied (no subscription detected) We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text


Whitehead, in two basic books, considers two different approaches to point-free geometry: the inclusion-based approach, whose primitive notions are regions and inclusion relation between regions, and the connection-based approach, where the connection relation is considered instead of the inclusion. We show that the latter cannot be reduced to the first one, although this can be done in the framework of multivalued logics.

Article information

Notre Dame J. Formal Logic Volume 51, Number 3 (2010), 383-405.

First available in Project Euclid: 18 August 2010

Permanent link to this document

Digital Object Identifier

Zentralblatt MATH identifier

Mathematical Reviews number (MathSciNet)

Primary: 03B30: Foundations of classical theories (including reverse mathematics) [See also 03F35] 18A15: Foundations, relations to logic and deductive systems [See also 03- XX]
Secondary: 54E99: None of the above, but in this section

foundation of geometry point-free geometry Whitehead multivalued logic


Coppola, Cristina; Gerla, Giangiacomo; Miranda, Annamaria. Point-free Foundation of Geometry and Multivalued Logic. Notre Dame J. Formal Logic 51 (2010), no. 3, 383--405. doi:10.1215/00294527-2010-024.

Export citation


  • [1] Blumenthal, L. M., Theory and Applications of Distance Geometry, 2d edition, Chelsea Publishing Co., New York, 1970.
  • [2] De Laguna, T., "Point, line and surface as sets of solids", The Journal of Philosophy, vol. 19 (1922), pp. 449--61.
  • [3] Di Concilio, A., and G. Gerla, "Quasi-metric spaces and point-free geometry", Mathematical Structures in Computer Science, vol. 16 (2006), pp. 115--37.
  • [4] Engelking, R., General Topology, 2d edition, vol. 6 of Sigma Series in Pure Mathematics, Heldermann Verlag, Berlin, 1989.
  • [5] Gerla, G., and A. Miranda, "Mathematical features of Whitehead's pointfree geometry", pp. 507--33 in Handbook of Whiteheadian Process Thought, edited by M. Weber and W. Desmond, Ontos Verlag, Frankfurt, 2008.
  • [6] Gerla, G., and R. Tortora, "La relazione di connessione in A. N. Whitehead: Aspetti matematici", Epistemologia, vol. 15 (1992), pp. 341--54.
  • [7] Gerla, G., and R. Tortora, "Dissezioni, intersezioni di regioni in A. N. Whitehead", Epistemologia, vol. 19 (1996), pp. 289--308.
  • [8] Gerla, G., "Pointless metric spaces", The Journal of Symbolic Logic, vol. 55 (1990), pp. 207--19.
  • [9] Gerla, G., "Pointless geometries", pp. 1015--31 in Handbook of Incidence Geometry, edited by F. Buekenhout, North-Holland, Amsterdam, 1995.
  • [10] Hájek, P., Metamathematics of Fuzzy Logic, vol. 4 of Trends in Logic---Studia Logica Library, Kluwer Academic Publishers, Dordrecht, 1998.
  • [11] Pratt, I., and D. Schoop, "Expressivity in polygonal, plane mereotopology", The Journal of Symbolic Logic, vol. 65 (2000), pp. 822--38.
  • [12] Whitehead, A. N., An Inquiry Concerning the Principles of Natural Knowledge, The University Press, Cambridge, 1919.
  • [13] Whitehead, A. N., The Concept of Nature, The University Press, Cambridge, 1920.
  • [14] Whitehead, A. N., Process and Reality, Macmillan, New York, 1929.