On nondefinability of interior-connectedness via the contact relation

DOI10.1215/00294527-2026-0003MaRDI QIDQ7293112zbMATH OpenFDO

Authors Rafał Gruszczyński, Paula Menchón

Publication date 9 July 2026

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-67/issue-2/On-Nondefinability-of-Interior-Connectedness-via-the-Contact-Relation/10.1215/00294527-2026-0003.full

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Logical aspects of Boolean algebras (03G05)

Cites work

• A representation theorem for Boolean contact algebras
• Counterexamples in topology
• Empiricism and rationalism in region-based theories of space
• Expressivity in polygonal, plane mereotopology
• Extended contact algebras and internal connectedness
• From contact relations to modal operators, and back
• Handbook of Spatial Logics
• scientific article; zbMATH DE number 5117074 (Why is no real title available?)
• scientific article; zbMATH DE number 2103273 (Why is no real title available?)
• scientific article; zbMATH DE number 3085803 (Why is no real title available?)
• Mereocompactness and Duality for Mereotopological Spaces
• Ontologies for plane, polygonal mereotopology
• Region-based theory of space: algebras of regions, representation theory, and logics
• Spatial logics with connectedness predicates
• The point of pointless topology
• Topology, connectedness, and modal logic

This page was built for publication: On nondefinability of interior-connectedness via the contact relation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7293112)