Extended contact algebras and internal connectedness

DOI10.1007/S11225-019-09845-6MaRDI QIDQ2307301zbMATH OpenOpenAlexFDO

Authors Tatyana B. Ivanova

Publication date 27 March 2020

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-019-09845-6

zbMATH Keywords

contact algebrastopological representationmereotopologypoint-free theory of spaceextended contact algebrasinternal connectedness

Mathematics Subject Classification ID

Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Recommendations

• Remarks on contact relations on Boolean algebras
• Distributive contact lattices: topological representations
• A representation theorem for Boolean contact algebras
• Distributive mereotopology: extended distributive contact lattices
• Topological Representation of Contact Lattices

Cites work

• scientific article; zbMATH DE number 5117074 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 3581219 (Why is no real title available?)
• scientific article; zbMATH DE number 5241969 (Why is no real title available?)
• A mereotopology based on sequent algebras
• A proximity approach to some region-based theories of space
• A representation theorem for Boolean contact algebras
• A topological constraint language with component counting
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• Empiricism and rationalism in region-based theories of space
• Handbook of Spatial Logics
• Logics of space with connectedness predicates: complete axiomatizations
• On the Computational Complexity of Spatial Logics with Connectedness Constraints
• Proximity structures and grills
• Qualitative spatial representation and reasoning: An overview
• Real functions and near-normal spaces
• Region-based theory of discrete spaces: A proximity approach
• Region-based theory of space: algebras of regions, representation theory, and logics
• Spatial logics with connectedness predicates
• Special issue: Qualitative spatial reasoning
• Topological logics with connectedness over Euclidean spaces
• Topology, connectedness, and modal logic

Cited in

(6)

• Topological representation of precontact algebras and a connected version of the Stone duality theorem. I.
• A representation theorem for Boolean contact algebras
• Extremal algebraic connectivities of certain caterpillar classes and symmetric caterpillars
• Contact join-semilattices
• Relational representation theorems for extended contact algebras
• Extension properties of Boolean contact algebras

This page was built for publication: Extended contact algebras and internal connectedness

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