Extended Contact Algebras and Internal Connectedness

Studia Logica 108 (2):239-254 (2020)
  Copy   BIBTEX


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 \ meaning that the intersection of the first two arguments is included in the third. In this paper the extension of a Boolean algebra with \, 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 \.



    Upload a copy of this work     Papers currently archived: 86,377

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Logics for extended distributive contact lattices.T. Ivanova - 2018 - Journal of Applied Non-Classical Logics 28 (1):140-162.
A mereotopology based on sequent algebras.Dimiter Vakarelov - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):342-364.
On the Homogeneous Countable Boolean Contact Algebra.Ivo Düntsch & Sanjiang Li - 2013 - Logic and Logical Philosophy 22 (2):213-251.
A proof system for contact relation algebras.Ivo Düntsch & Ewa Orłowska - 2000 - Journal of Philosophical Logic 29 (3):241-262.
Hyper-Archimedean BL-algebras are MV-algebras.Esko Turunen - 2007 - Mathematical Logic Quarterly 53 (2):170-175.
Boolean deductive systems of BL-algebras.Esko Turunen - 2001 - Archive for Mathematical Logic 40 (6):467-473.
Subdirectly irreducible state-morphism BL-algebras.Anatolij Dvurečenskij - 2011 - Archive for Mathematical Logic 50 (1-2):145-160.
Semi-Cohen Boolean algebras.Bohuslav Balcar, Thomas Jech & Jindřich Zapletal - 1997 - Annals of Pure and Applied Logic 87 (3):187-208.
Fuzzy topology representation for MV‐algebras.Jialu Zhang & Quanfa Chen - 2009 - Mathematical Logic Quarterly 55 (3):259-270.


Added to PP

18 (#681,781)

6 months
3 (#339,399)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Contact Join-semilattices.Tatyana Ivanova - 2022 - Studia Logica 110 (5):1219-1241.
A mereotopology based on sequent algebras.Dimiter Vakarelov - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):342-364.

Add more citations

References found in this work

Process and Reality. By A. E. Murphy. [REVIEW]A. N. Whitehead - 1929 - International Journal of Ethics 40:433.
Point, line, and surface, as sets of solids.Theodore de Laguna - 1922 - Journal of Philosophy 19 (17):449-461.
Distributive Lattices.Raymond Balbes & Philip Dwinger - 1977 - Journal of Symbolic Logic 42 (4):587-588.

View all 12 references / Add more references