Pages that link to "Item:Q3647306"
From MaRDI portal
The following pages link to A Proximity Approach to Some Region-Based Theories of Space (Q3647306):
Displayed 29 items.
- Distributive mereotopology: extended distributive contact lattices (Q505967) (← links)
- Boolean logics with relations (Q604451) (← links)
- A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. I (Q626042) (← links)
- An extension of de Vries duality to completely regular spaces and compactifications (Q670153) (← links)
- Distributive contact lattices: topological representations (Q929965) (← links)
- Stone duality and Gleason covers through de Vries duality (Q960844) (← links)
- Mereotopology without mereology (Q975781) (← links)
- Some generalizations of Fedorchuk duality theorem-I (Q1005168) (← links)
- New work for Carnap's quasi-analysis (Q1025577) (← links)
- A generalization of de Vries duality theorem (Q1037413) (← links)
- Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\) (Q1045997) (← links)
- Contact join-semilattices (Q2082255) (← links)
- Categorical extension of dualities: from Stone to de Vries and beyond. I (Q2121604) (← links)
- A calculus of regions respecting both measure and topology (Q2281314) (← links)
- Extended contact algebras and internal connectedness (Q2307301) (← links)
- A generalization of Gelfand-Naimark-Stone duality to completely regular spaces (Q2307611) (← links)
- An extension of de Vries duality to normal spaces and locally compact Hausdorff spaces (Q2318410) (← links)
- Topological representation of precontact algebras and a connected version of the Stone duality theorem. I. (Q2363289) (← links)
- Region-based theory of discrete spaces: A proximity approach (Q2385442) (← links)
- A representation theorem for Boolean contact algebras (Q2581369) (← links)
- Extension Properties of Boolean Contact Algebras (Q2915154) (← links)
- Boolean Logics with Relations (Q3498402) (← links)
- A discrete duality between apartness algebras and apartness frames (Q3643313) (← links)
- Relational proof systems for spatial reasoning ★ (Q3647246) (← links)
- Dynamic logics of the region-based theory of discrete spaces (Q3647263) (← links)
- (Q4580233) (← links)
- A variety of algebras closely related to subordination algebras (Q5048041) (← links)
- On dimension andweight of a local contact algebra (Q5088152) (← links)
- Logics for extended distributive contact lattices (Q5375878) (← links)