Pages that link to "Item:Q1434362"
From MaRDI portal
The following pages link to Entailment systems for stably locally compact locales (Q1434362):
Displaying 9 items.
- Stably locally compact locales are dual to continuous posets (Q1979302) (← links)
- A logic for Lawson compact algebraic L-domains (Q1989346) (← links)
- Continuous L-domains in logical form (Q2041961) (← links)
- Presenting de Groot duality of stably compact spaces (Q2182316) (← links)
- State BCK-algebras and state-morphism BCK-algebras. (Q2350514) (← links)
- Compactness in locales and in formal topology (Q2575779) (← links)
- (Q5009708) (← links)
- Consistent disjunctive sequent calculi and Scott domains (Q5048008) (← links)
- Lattice-free and point-free: Vickers duality for subbases of stably locally compact spaces (Q6044445) (← links)
