Abstract
The notion of contact algebra is one of the main tools in the region-based theory of space. It is an extension of Boolean algebra with an additional relation C, called contact. Standard models of contact algebras are topological and are the contact algebras of regular closed sets in a given topological space. In such a contact algebra we add the predicate of internal connectedness with the following meaning—a regular closed set is internally connected if and only if its interior is a connected topological space in the subspace topology. We add also a ternary relation \(\vdash \) meaning that the intersection of the first two arguments is included in the third. In this paper the extension of a Boolean algebra with \(\vdash \), contact and internal connectedness, satisfying certain axioms, is called an extended contact algebra. We prove a representation theorem for extended contact algebras and thus obtain an axiomatization of the theory, consisting of the universal formulas, true in all topological contact algebras with added relations of internal connectedness and \(\vdash \).
Similar content being viewed by others
References
Aiello, M.,I. Pratt-Hartmann, and J. van Benthem (eds.), Handbook of Spatial Logics, Springer, 2007.
Balbes, R., and P. Dwinger,Distributive Lattices. University of Missouri Press, Columbia, 1974.
Balbiani, P. (ed.), Special Issue on Spatial Reasoning, J. Appl. Non-Classical Logics 12:3–4, 2002.
Balbiani, P.,T. Tinchev, and D. Vakarelov, Modal Logics for Region-based Theory of Space. Fundamenta Informaticae, Special Issue: Topics in Logic, Philosophy and Foundation of Mathematics and Computer Science in Recognition of Professor Andrzej Grzegorczyk, 81(1-3):29–82, 2007.
Bennett, B., and I. Düntsch, Axioms, Algebras and Topology, in M. Aiello, I. Pratt, and J. van Benthem, (eds.), Handbook of Spatial Logics, Springer, 2007, pp. 99–160.
Cohn, A., and S. Hazarika, Qualitative spatial representation and reasoning: An overview. Fuandamenta informaticae 46:1–20, 2001.
Cohn, A., and J. Renz, Qualitative spatial representation and reasoning, in F. van Hermelen, V. Lifschitz, and B. Porter, (eds.), Handbook of Knowledge Representation, Elsevier, 2008, pp. 551–596.
de Laguna, T., Point, line and surface as sets of solids, J. Philos 19:449–461, 1922.
de Vries, H.,Compact spaces and compactifications, Van Gorcum, 1962.
Dimov, G., and D. Vakarelov, Contact algebras and region-based theory of space: A proximity approach I, Fundamenta Informaticae 74(2-3):209–249, 2006.
Düntsch, I. (ed.), Special issue on Qualitative Spatial Reasoning, Fundam. Inform., 46, 2001.
Düntsch, I., and D. Vakarelov, Region-based theory of discrete spaces: A proximity approach, in M. Nadif, A. Napoli, E. SanJuan, and A. Sigayret, (eds.), Proceedings of Fourth International Conference Journées de l’informatique Messine, Metz, France, 2003, pp. 123–129. Journal version in: Annals of Mathematics and Artificial Intelligence 49(1-4):5–14, 2007.
Düntsch, I., and M. Winter, A representation theorem for Boolean contact algebras, Theoretical Computer Science (B) 347:498–512, 2005.
Egenhofer, M., and R. Franzosa, Point-set topological spatial relations, Int. J. Geogr. Inform. Systems 5:161–174, 1991.
Engelking, R.,General Topology, Polish Scientiphic Publishers, 1977.
Hahmann, T., and M. Gruninger, Region-based theories of space: mereotopology and beyond, in S. Hazarika, (ed.), Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions, IGI Publishing, 2012, pp. 1–62.
Hazarika, S. M. (ed.), Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions, IGI Global; 1st ed. (May 31, 2012).
Kontchakov, R.,I. Pratt-Hartmann,F. Wolter, and M. Zakharyaschev, Topology, connectedness, and modal logic, in C. Areces and R. Goldblatt, (eds.), Advances in Modal Logic, volume 7, College Publications, London, 2008, pp. 151–176.
Kontchakov, R.,I. Pratt-Hartmann,F. Wolter, and M. Zakharyaschev, On the computational complexity of spatial logics with connectedness constraints, in I. Cervesato, H. Veith and A. Voronkov, (eds.), Proceedings of LPAR, 2008, Doha, Qatar, November, 22–27, 2008, LNAI, vol. 5330, Springer, 2008, pp. 574–589.
Kontchakov, R.,I. Pratt-Hartmann,F. Wolter, and M. Zakharyaschev, Spatial logics with connectedness predicates, Logical Methods in Computer Science 6(3:7), 2010.
Kontchakov, R.,I. Pratt-Hartmann, and M. Zakharyaschev, Topological logics over Euclidean spaces, in Proceedings of Topology, Algebra and Categories in Logic, TACL 2009, Amsterdam, July, 7–11, 2009.
Kontchakov, R.,I. Pratt-Hartmann, and M. Zakharyaschev, Interpreting Topological Logics over Euclidean Spaces, in F. Lin, U. Sattler and M. Truszczynski, (eds.), Proceedings of KR, Toronto, Canada, May, 9–13, AAAI Press, 2010, pp. 534–544.
Pratt-Hartmann, I., Empiricism and Rationalism in Region-based Theories of Space, Fundamenta Informaticae 45:159–186, 2001.
Pratt-Hartmann, I., A topological constraint language with component counting, J. of Applied Nonclassical Logics 12:441–467, 2002.
Pratt-Hartmann, I., First-order region-based theories of space, in M. Aiello, I. Pratt-Hartmann, and J. van Benthem, (eds.), Logic of Space, Springer, 2007.
Randell, D. A.,Z. Cui, and A. G. Cohn, A spatial logic based on regions and connection, in B. Nebel, W. Swartout, and C. Rich, (eds.), Proceedings of the 3rd International Conference Knowledge Representation and Reasoning, Morgan Kaufmann, Los Allos, CA, 1992, pp. 165–176.
Shchepin, E., Real-valued functions and spaces close to normal, Siberian mathematical journal 13:820–830, 1972.
Stell, J., Boolean connection algebras: A new approach to the Region Connection Calculus, Artif. Intell. 122:111–136, 2000.
Stone, M., Topological representations of distributive lattices and Brouwerian logics. Časopis Pěst. Mat. 67:1–25, 1937.
Thron, W. J., Proximity structures and grills, Math. Ann. 206:35–62, 1973.
Tinchev, T., and D. Vakarelov, Logics of Space with Connectedness Predicates: Complete axiomatizations, in L. Beklemishev, V. Goranko, and V. Shehtman, (eds.), Proceedings of the conference 8th Advances in Modal Logic, Advances in Modal Logic, 8, College Publications, London, 2010, pp. 409–427.
Vakarelov, D., Region-based theory of space: Algebras of regions, representation theory and logics, in D. Gabbay et al. (eds.), Mathematical Problems from Applied Logics. New Logics for the XXIst Century. II. Springer, 2007, pp. 267–348.
Vakarelov, D., Extended mereotopology based on sequent algebras, in Proceedings of Workshop dedicated to the 65 anniversary of Luis Farinas del Cerro, 3–4 March, Toulouse, France, 2016.
Vakarelov, D.,G. Dimov,I. Düntsch, and B. Bennett, A proximity approach to some region based theory of space. Journal of applied non-classical logics 12(3-4):527–559, 2002.
Vakarelov, D.,I. Düntsch, and B. Bennett, A note on proximity spaces and connection based mereology, in C. Welty, and B. Smith, (eds.), Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS’01), ACM, 2001, pp. 139–150.
Whitehead, A. N.,Process and Reality, MacMillan, New York, 1929.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Presented by Constantine Tsinakis
Rights and permissions
About this article
Cite this article
Ivanova, T. Extended Contact Algebras and Internal Connectedness. Stud Logica 108, 239–254 (2020). https://doi.org/10.1007/s11225-019-09845-6
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-019-09845-6