The following pages link to (Q4265614):
Displayed 16 items.
- A logical approach to stable domains (Q859843) (← links)
- On the relationship between compact regularity and Gentzen's cut rule (Q1434354) (← links)
- Entailment systems for stably locally compact locales (Q1434362) (← links)
- A logic for Lawson compact algebraic L-domains (Q1989346) (← links)
- Continuous L-domains in logical form (Q2041961) (← links)
- Bounded complete domains and their logical form (Q2105444) (← links)
- Presenting de Groot duality of stably compact spaces (Q2182316) (← links)
- Representations of stably continuous semi-lattices by information systems and abstract bases (Q2224847) (← links)
- The categorical equivalence between domains and interpolative generalized closure spaces (Q2698278) (← links)
- Stably Compact Spaces and Closed Relations (Q4917058) (← links)
- (Q5009708) (← links)
- Consistent disjunctive sequent calculi and Scott domains (Q5048008) (← links)
- Continuous Domains in Formal Concept Analysis* (Q5164859) (← links)
- A representation of proper BC domains based on conjunctive sequent calculi (Q5220179) (← links)
- Lattice-free and point-free: Vickers duality for subbases of stably locally compact spaces (Q6044445) (← links)
- A generalization of de Vries duality to closed relations between compact Hausdorff spaces (Q6113249) (← links)