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

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 \ 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 \.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s11225-019-09845-6
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,287
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Point, Line, and Surface, as Sets of Solids.Theodore de Laguna - 1922 - Journal of Philosophy 19 (17):449-461.
A Mereotopology Based on Sequent Algebras.Dimiter Vakarelov - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):342-364.
A Topological Constraint Language with Component Counting.Ian Pratt-Hartmann - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):441-467.

View all 8 references / Add more references

Citations of this work BETA

A Mereotopology Based on Sequent Algebras.Dimiter Vakarelov - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):342-364.

Add more citations

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.

Analytics

Added to PP index
2019-01-25

Total views
10 ( #799,925 of 2,325,680 )

Recent downloads (6 months)
3 ( #296,748 of 2,325,680 )

How can I increase my downloads?

Downloads

My notes