The following pages link to (Q5184905):
Displaying 6 items.
- Stone duality for first order logic (Q1105598) (← links)
- Strong conceptual completeness for first-order logic (Q1118588) (← links)
- First-order logical duality (Q1935870) (← links)
- A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585) (← links)
- Duality and definability in first order logic (Q3137743) (← links)
- (Q4010279) (← links)