The following pages link to (Q3416081):
Displayed 21 items.
- Boolean logics with relations (Q604451) (← links)
- Distributive contact lattices: topological representations (Q929965) (← links)
- Stone duality and Gleason covers through de Vries duality (Q960844) (← links)
- Mereotopology without mereology (Q975781) (← links)
- Topology and measure in logics for region-based theories of space (Q1694810) (← links)
- The lattice structure of \(\mathbf{L}\)-contact relations (Q1750230) (← links)
- Point-free geometries: proximities and quasi-metrics (Q1948559) (← links)
- Extensions of dualities and a new approach to the Fedorchuk duality (Q2217245) (← links)
- Relational representation theorems for extended contact algebras (Q2243545) (← links)
- A calculus of regions respecting both measure and topology (Q2281314) (← links)
- Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I (Q2342312) (← links)
- Topological representation of precontact algebras and a connected version of the Stone duality theorem. I. (Q2363289) (← links)
- Bounded distributive lattices with two subordinations (Q2658281) (← links)
- Contact Logic is Finitary for Unification with Constants (Q3298276) (← links)
- Mereocompactness and Duality for Mereotopological Spaces (Q3305432) (← links)
- Admissibility and Unifiability in Contact Logics (Q3455182) (← links)
- Boolean Logics with Relations (Q3498402) (← links)
- The Lattice of Contact Relations on a Boolean Algebra (Q3498408) (← links)
- A variety of algebras closely related to subordination algebras (Q5048041) (← links)
- GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS (Q6041348) (← links)
- From contact relations to modal operators, and back (Q6057621) (← links)