Extended Contact Algebras and Internal Connectedness

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 $$ ⊢ .

[1]  Ivo Düntsch,et al.  A Proximity Approach to Some Region-Based Theories of Space , 2002, J. Appl. Non Class. Logics.

[2]  Michael Winter,et al.  A representation theorem for Boolean contact algebras , 2005, Theor. Comput. Sci..

[3]  Dimiter Vakarelov,et al.  Logics of Space with Connectedness Predicates: Complete Axiomatizations , 2010, Advances in Modal Logic.

[4]  John G. Stell,et al.  Boolean connection algebras: A new approach to the Region-Connection Calculus , 2000, Artif. Intell..

[5]  Frank Wolter,et al.  On the Computational Complexity of Spatial Logics with Connectedness Constraints , 2008, LPAR.

[6]  Ian Pratt-Hartmann,et al.  A Topological Constraint Language with Component Counting , 2002, J. Appl. Non Class. Logics.

[7]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning: An Overview , 2001, Fundam. Informaticae.

[8]  Torsten Hahmann,et al.  Region-Based Theories of Space: Mereotopology and Beyond , 2012 .

[9]  Dimiter Vakarelov,et al.  Region-Based Theory of Space: Algebras of Regions, Representation Theory, and Logics , 2007 .

[10]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[11]  MAX J. EGENHOFER,et al.  Point Set Topological Relations , 1991, Int. J. Geogr. Inf. Sci..

[12]  Ian Pratt-Hartmann.  Empiricism and Rationalism in Region-based Theories of Space , 2001, Fundam. Informaticae.

[13]  Ivo Düntsch,et al.  Region–based theory of discrete spaces: A proximity approach , 2007, Annals of Mathematics and Artificial Intelligence.

[14]  Frank Wolter,et al.  Spatial logics with connectedness predicates , 2010, Log. Methods Comput. Sci..

[15]  T. D. Laguna.  Point, Line, and Surface, as Sets of Solids , 1922 .

[16]  Sergio Salbany,et al.  On compact* spaces and compactifications , 1974 .

[17]  M. Stone.  Topological representations of distributive lattices and Brouwerian logics , 1938 .

[18]  Michael Zakharyaschev,et al.  Interpreting Topological Logics over Euclidean Spaces , 2010, KR.

[19]  R. Cooper.  Process and Reality , 2014 .

[20]  Johan van Benthem,et al.  Handbook of Spatial Logics , 2007 .

[21]  Dimiter Vakarelov,et al.  A mereotopology based on sequent algebras , 2017, J. Appl. Non Class. Logics.

[22]  Frank Wolter,et al.  Topology, connectedness, and modal logic , 2008, Advances in Modal Logic.

[23]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning , 2008, Handbook of Knowledge Representation.

[24]  Ivo Düntsch,et al.  Axioms, Algebras and Topology , 2007, Handbook of Spatial Logics.

[25]  Ivo Düntsch,et al.  A note on proximity spaces and connection based mereology , 2001, FOIS.

[26]  Dimiter Vakarelov,et al.  Contact Algebras and Region-based Theory of Space: A Proximity Approach - I , 2006, Fundam. Informaticae.

[27]  W. J. Thron.  Proximity structures and grills , 1973 .

[28]  E. V. Shchepin,et al.  Real functions and near-normal spaces , 1972 .