Pages that link to "Item:Q2581369"

The following pages link to A representation theorem for Boolean contact algebras (Q2581369):

Displaying 41 items.

• Discrete dualities for some algebras with relations (Q406447) (← links)
• On standard models of fuzzy region connection calculus (Q433513) (← links)
• Distributive mereotopology: extended distributive contact lattices (Q505967) (← links)
• Contact, closure, topology, and the linking of row and column types of relations (Q549681) (← 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)
• On topological consistency and realization (Q850454) (← links)
• Distributive contact lattices: topological representations (Q929965) (← links)
• Some generalizations of Fedorchuk duality theorem-I (Q1005168) (← links)
• Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\) (Q1045997) (← links)
• Topology and measure in logics for region-based theories of space (Q1694810) (← links)
• The lattice structure of \(\mathbf{L}\)-contact relations (Q1750230) (← links)
• A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures (Q1756598) (← links)
• Relation algebras and their application in temporal and spatial reasoning (Q1781107) (← links)
• On the algebra of regular sets (Q1926594) (← links)
• Remarks on contact relations on Boolean algebras (Q1935013) (← links)
• Complementation in representable theories of region-based space (Q1949166) (← links)
• Contact join-semilattices (Q2082255) (← links)
• Relational representation theorems for extended contact algebras (Q2243545) (← links)
• Extended contact algebras and internal connectedness (Q2307301) (← 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 generalization of the Stone duality theorem (Q2400865) (← links)
• RCC8 binary constraint network can be consistently extended (Q2457645) (← links)
• Valueless measures on pointless spaces (Q2686086) (← 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)
• Boolean Algebras and Stone Maps in Schröder Categories (Q3498419) (← links)
• A New Perspective on the Mereotopology of RCC8. (Q4580234) (← links)
• The intuitionistic temporal logic of dynamical systems (Q4580328) (← links)
• A mereotopology based on sequent algebras (Q4586239) (← links)
• On dimension andweight of a local contact algebra (Q5088152) (← links)
• Logics for extended distributive contact lattices (Q5375878) (← links)
• SUBSTRUCTURAL INQUISITIVE LOGICS (Q5381041) (← links)
• GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS (Q6041348) (← links)
• From contact relations to modal operators, and back (Q6057621) (← links)
• Subordinations on bounded distributive lattices (Q6105027) (← links)
• On some meta-theoretic topological features of the region connection calculus (Q6535325) (← links)