A proximity approach to some region-based theories of space
From MaRDI portal
(Redirected from Publication:3647306)
Recommendations
Cites work
- A calculus of individuals based on 'connection'
- A necessary relation algebra for mereotopology
- Axiomatizability of geometry without points
- Boolean connection algebras: A new approach to the Region-Connection Calculus
- Connection structures
- Connection structures: Grzegorczyk's and Whitehead's definitions of point
- Continuous lattices and Whiteheadian theory of space
- scientific article; zbMATH DE number 3228406 (Why is no real title available?)
- scientific article; zbMATH DE number 3328048 (Why is no real title available?)
- Individuals and points
- Local proximity spaces
- Minimally generated Boolean algebras
- Parts, wholes, and part-whole relations: The prospects of mereotopology
- Proximity structures and grills
- Region-based topology
- Some classes of projective Boolean algebras
- The calculus of individuals and its uses
Cited in
(34)- Some generalizations of Fedorchuk duality theorem-I
- New work for Carnap's quasi-analysis
- A generalization of de Vries duality theorem
- Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\)
- Region-based topology
- Contact join-semilattices
- Categorical extension of dualities: from Stone to de Vries and beyond. I
- A calculus of regions respecting both measure and topology
- Extended contact algebras and internal connectedness
- A generalization of Gelfand-Naimark-Stone duality to completely regular spaces
- An extension of de Vries duality to normal spaces and locally compact Hausdorff spaces
- Topological representation of precontact algebras and a connected version of the Stone duality theorem. I.
- Region-based theory of discrete spaces: A proximity approach
- A representation theorem for Boolean contact algebras
- Extension properties of Boolean contact algebras
- scientific article; zbMATH DE number 5117074 (Why is no real title available?)
- scientific article; zbMATH DE number 5117075 (Why is no real title available?)
- Boolean Logics with Relations
- A discrete duality between apartness algebras and apartness frames
- Relational proof systems for spatial reasoning
- Dynamic logics of the region-based theory of discrete spaces
- The logic of discrete qualitative relations
- A variety of algebras closely related to subordination algebras
- Distributive mereotopology: extended distributive contact lattices
- On dimension andweight of a local contact algebra
- Logics for extended distributive contact lattices
- Boolean logics with relations
- From contact relations to modal operators, and back
- Categorical extension of dualities: from Stone to de Vries and beyond. II
- A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. I
- An extension of de Vries duality to completely regular spaces and compactifications
- Distributive contact lattices: topological representations
- Stone duality and Gleason covers through de Vries duality
- Mereotopology without mereology
This page was built for publication: A proximity approach to some region-based theories of space
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3647306)
