Region-based theory of discrete spaces: A proximity approach

Knowledge representation (68T30) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Logic in artificial intelligence (68T27) Proximity structures and generalizations (54E05) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Cites Work

The Theory of Representation for Boolean Algebras
Topological representations of distributive lattices and Brouwerian logics
Minimally generated Boolean algebras
A representation theorem for Boolean contact algebras
Semi-metrics, closure spaces and digital topology
A Proximity Approach to Some Region-Based Theories of Space
A complete axiom system for polygonal mereotopology of the real plane
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)

Cited In (35)

On dimension andweight of a local contact algebra
Nature-inspired framework for measuring visual image resemblance: a near rough set approach
Title not available (Why is that?)
Discrete dualities for some algebras with relations
Complementation in representable theories of region-based space
Irreducible equivalence relations, Gleason spaces, and de Vries duality
Extension Properties of Boolean Contact Algebras
Categorical extension of dualities: from Stone to de Vries and beyond. I
Extensions of dualities and a new approach to the Fedorchuk duality
The lattice structure of \(\mathbf{L}\)-contact relations
Title not available (Why is that?)
Bounded distributive lattices with two subordinations
A variety of algebras closely related to subordination algebras
Topological representation of precontact algebras and a connected version of the Stone duality theorem. I.
From contact relations to modal operators, and back
Boolean logics with relations
Local near sets: pattern discovery in proximity spaces
A strict implication calculus for compact Hausdorff spaces
Subordination Tarski algebras
A discrete duality between apartness algebras and apartness frames
Remarks on contact relations on Boolean algebras
A generalization of the Stone duality theorem
A mereotopology based on sequent algebras
Algebraic Methods for Granular Rough Sets
The Lattice of Contact Relations on a Boolean Algebra
Categorical extension of dualities: from Stone to de Vries and beyond. II
Topology and measure in logics for region-based theories of space
Subordinations on bounded distributive lattices
Contact join-semilattices
Relational representation for subordination Tarski algebras
Relational representation theorems for extended contact algebras
Dynamic Contact Algebras with a Predicate of Actual Existence: Snapshot Representation and Topological Duality
Extended contact algebras and internal connectedness
Distributive contact lattices: topological representations
Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I

This page was built for publication: Region-based theory of discrete spaces: A proximity approach

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