Journal of Applied Non-Classical Logics 27 (3-4):342-364 (2017)

Mereotopology is an extension of mereology with some relations of topological nature like contact. An algebraic counterpart of mereotopology is the notion of contact algebra which is a Boolean algebra whose elements are considered to denote spatial regions, extended with a binary relation of contact between regions. Although the language of contact algebra is quite expressive to define many useful mereological relations and mereotopological relations, there are, however, some interesting mereotopological relations which are not definable in it. Such are, for instance, the relation of n-ary contact, internal connectedness and some others. To overcome this disadvantage, we introduce a generalisation of contact algebra, replacing the contact with a binary relation between finite sets of regions and a region, satisfying some formal properties of Tarski consequence relation. The obtained system is called sequent algebra, considered as an algebraic counterpart of a new mereotopology. We develop the topological representation theory for sequent algebras showing in this way certain correspondence between point-free and point-based models of space. As a by-product, we show how one logical relation in nature notion, Tarski consequence relation, may have also certain spatial meaning.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Reprint years 2017, 2018
DOI 10.1080/11663081.2017.1420590
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 54,740
Through your library

References found in this work BETA

Parts : a Study in Ontology.Peter Simons - 1987 - Revue de Métaphysique et de Morale 2:277-279.
Parts: A Study in Ontology.Peter Simons - 1987 - Clarendon Press.
Process and Reality.Arthur E. Murphy - 1931 - Journal of Philosophical Studies 6 (21):102-106.
Process and Reality.Arthur E. Murphy - 1930 - International Journal of Ethics 40 (3):433-435.

View all 15 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

A Modal Approach to Dynamic Ontology: Modal Mereotopology.Dimiter Vakarelov - 2008 - Logic and Logical Philosophy 17 (1-2):163-183.
Elementary Polyhedral Mereotopology.Ian Pratt-Hartmann & Dominik Schoop - 2002 - Journal of Philosophical Logic 31 (5):469-498.
Logics for Extended Distributive Contact Lattices.T. Ivanova - 2018 - Journal of Applied Non-Classical Logics 28 (1):140-162.
On the Homogeneous Countable Boolean Contact Algebra.Ivo Düntsch & Sanjiang Li - 2013 - Logic and Logical Philosophy 22 (2):213-251.
Groups and Algebras of Binary Relations.Steven Givant & Hajnal Andréka - 2002 - Bulletin of Symbolic Logic 8 (1):38-64.
Relation Algebras of Every Dimension.Roger D. Maddux - 1992 - Journal of Symbolic Logic 57 (4):1213-1229.
Mereotopology without Mereology.Peter Forrest - 2010 - Journal of Philosophical Logic 39 (3):229-254.
Mereotopological Connection.Anthony G. Cohn & Achille C. Varzi - 2003 - Journal of Philosophical Logic 32 (4):357-390.
Lower Level Connections Between Representations of Relation Algebras.György Serény - 1986 - Bulletin of the Section of Logic 15 (3):123-125.
A Proof System for Contact Relation Algebras.Ivo Düntsch & Ewa Orłowska - 2000 - Journal of Philosophical Logic 29 (3):241-262.
Undecidable Semiassociative Relation Algebras.Roger D. Maddux - 1994 - Journal of Symbolic Logic 59 (2):398-418.


Added to PP index

Total views
22 ( #462,035 of 2,386,872 )

Recent downloads (6 months)
1 ( #550,981 of 2,386,872 )

How can I increase my downloads?


My notes