Region–based theory of discrete spaces: A proximity approach

Čech, E.: Topological Spaces. Wiley, London. Revised edition by Z. Frolík and M. Katětov (1966)

Clarke, B.L.: A calculus of individuals based on ‘connection’. Notre Dame J. Form. Log. 22, 204–218 (1981)

Deneva, A., Vakarelov, D.: Modal logics for local and global similarity relations. Fundam. Inform. 31, 295–304 (1997)

Düntsch, I., Winter, M.: A representation theorem for Boolean contact algebras. Theor. Comp. Sci. (B) 347, 498–512 (2005)

Galton, A.: The mereotopology of discrete space. In: Freksa, C., Mark, D.M. (eds.) Spatial Information Theory, Proceedings of the International Conference COSIT ’99, Lecture Notes in Computer Science, pp. 251–266. Springer, Berlin Heidelberg New York (1999)

Galton, A.: Qualitative Spatial Change. Oxford University Press, Oxford (2000)

Haddad, L.: Sur quelques points de topologie générale. Théorie des nasses et des tramails. Ann. Fac. Sci. Clermont-Ferrand 44, 3–80 (1970)

Koppelberg, S.: General Theory of Boolean Algebras, vol. 1 of Handbook on Boolean Algebras. North Holland (1989)

Naimpally, S.A., Warrack, B.D.: Proximity Spaces. Cambridge University Press, Cambridge (1970)

Pratt, I., Schoop, D.: A complete axiom system for polygonal mereotopology of the real plane. J. Philos. Log. 27(6), 621–658 (1998)

Randell, D.A., Cohn, A.G., Cui, Z.: Computing transitivity tables: A challenge for automated theorem provers. In: Kapur, D. (ed.) Proceedings of the 11th International Conference on Automated Deduction (CADE-11), vol. 607 of LNAI, pp. 786–790. Saratoga Springs, NY, Springer (1992)

Smyth, M.B.: Semi-metrics, closure spaces and digital topology. Theor. Comp. Sci. 151(1), 257–276 (1995)

Stone, M.: The theory of representations for Boolean algebras. Trans. Am. Math. Soc. 40, 37–111 (1936)

Stone, M.: Topological representations of distributive lattices and Brouwerian logics. Časopis Pěst. Mat. 67, 1–25 (1937)

Thron, W.: Proximity structures and grills. Math. Ann. 206, 35–62 (1973)

Vakarelov, D.: Proximity modal logics. In: Proceedings of the 11th Amsterdam Colloquium, pp. 301–308 (1997)

Vakarelov, D., Dimov, G., Düntsch, I., Bennett, B.: A proximity approach to some region–based theories of space. J. Appl. Non-Class. Log. 12, 527–529 (2002)

Vakarelov, D., Düntsch, I., Bennett, B.: A note on proximity spaces and connection based mereology. In: Welty, C., Smith, B. (eds.) Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS’01), pp. 139–150. ACM (2001)

Whitehead, A.N.: Process and Reality. MacMillan, New York (1929)