The following pages link to (Q5445158):
Displayed 18 items.
- Distributive mereotopology: extended distributive contact lattices (Q505967) (← links)
- Boolean logics with relations (Q604451) (← links)
- Logics for stable and unstable mereological relations (Q651278) (← links)
- What is nominalistic mereology? (Q742476) (← links)
- Dynamic contact algebras and quantifier-free logics for space and time (Q1615744) (← links)
- Topology and measure in logics for region-based theories of space (Q1694810) (← links)
- Relational representation theorems for extended contact algebras (Q2243545) (← links)
- A system of relational syllogistic incorporating full Boolean reasoning (Q2255203) (← links)
- A calculus of regions respecting both measure and topology (Q2281314) (← links)
- Extended contact algebras and internal connectedness (Q2307301) (← links)
- A strict implication calculus for compact Hausdorff spaces (Q2326420) (← links)
- Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I (Q2342312) (← links)
- Contact Logic is Finitary for Unification with Constants (Q3298276) (← links)
- Admissibility and Unifiability in Contact Logics (Q3455182) (← links)
- Boolean Logics with Relations (Q3498402) (← links)
- Dynamic logics of the region-based theory of discrete spaces (Q3647263) (← links)
- (Q4994195) (← links)
- Logics for extended distributive contact lattices (Q5375878) (← links)