Abstract
We introduce Boolean proximity algebras as a generalization of Efremovič proximities which are suitable in reasoning about discrete regions. Following Stone’s representation theorem for Boolean algebras, it is shown that each such algebra is isomorphic to a substructure of a complete and atomic Boolean proximity algebra.
Similar content being viewed by others
References
Č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)
Author information
Authors and Affiliations
Corresponding author
Additional information
Co-operation was supported by EC COST Action 274 “Theory and Applications of Relational Structures as Knowledge Instruments” (TARSKI), www.tarski.org, and NATO Collaborative Linkage Grant PST.CLG 977641.
Rights and permissions
About this article
Cite this article
Düntsch, I., Vakarelov, D. Region–based theory of discrete spaces: A proximity approach. Ann Math Artif Intell 49, 5–14 (2007). https://doi.org/10.1007/s10472-007-9064-3
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10472-007-9064-3