Extended contact algebras and internal connectedness

DOI10.1007/S11225-019-09845-6zbMATH Open1484.06048OpenAlexW2912345257MaRDI QIDQ2307301FDOQ2307301

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

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

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)

Cites Work

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

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)