Pages that link to "Item:Q989422"
From MaRDI portal
The following pages link to Point-free foundation of geometry and multivalued logic (Q989422):
Displaying 8 items.
- Connection structures: Grzegorczyk's and Whitehead's definitions of point (Q1355124) (← links)
- Forking geometry on theories with an independent predicate (Q2257115) (← links)
- Whitehead's mereotopology and the project of formal ontology (Q2910358) (← links)
- Mereological foundations of point-free geometry via multi-valued logic (Q2987754) (← links)
- Multi-valued Logic for a Point-Free Foundation of Geometry (Q3295804) (← links)
- (Q4733864) (← links)
- Point-free foundation of geometry looking at laboratory activities (Q5133993) (← links)
- Points as Higher-Order Constructs (Q5149706) (← links)