The following pages link to Continuous Lattices and Domains (Q4787439):
Displayed 50 items.
- Topological properties of prime filters in MTL-algebras and fuzzy set representations for MTL-algebras (Q409741) (← links)
- Inverse-limit and topological aspects of abstract interpretation (Q418811) (← links)
- Extending algebraic operations to D-completions (Q418818) (← links)
- A survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction and sobriety (Q419013) (← links)
- Lowen LM-fuzzy topological spaces (Q419014) (← links)
- Categorical foundations of variety-based topology and topological systems (Q419052) (← links)
- The nullities for \(M\)-fuzzifying matroids (Q427586) (← links)
- The categories of flows of Set and Top (Q429324) (← links)
- On adjunctions between Lim, SL-Top, and SL-Lim (Q429393) (← links)
- Kernel systems on \(L\)-ordered sets (Q429397) (← links)
- Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces (Q431707) (← links)
- Topological properties of generalized approximation spaces (Q433034) (← links)
- Interval additive generators of interval t-norms and interval t-conorms (Q433045) (← links)
- Function spaces from Lawson compact continuous domains to continuous B-domains (Q438698) (← links)
- Quasi-pseudo-metrization of topological preordered spaces (Q438704) (← links)
- Domain theory and mirror properties in inverse semigroups (Q444685) (← links)
- States in Łukasiewicz logic correspond to probabilities of rational polyhedra (Q448927) (← links)
- Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras (Q454393) (← links)
- A class of fuzzy multisets with a fixed number of memberships (Q454972) (← links)
- On the uniformization of lattice-valued frames (Q533148) (← links)
- On the prevariety of perfect lattices (Q535109) (← links)
- Complexity spaces as quantitative domains of computation (Q536037) (← links)
- Algebraic models for \(T_1\)-spaces (Q536048) (← links)
- Approximation in quantale-enriched categories (Q536049) (← links)
- Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language (Q541217) (← links)
- Canonical extensions and canonicity via dcpo presentations (Q541219) (← links)
- Quantitative domains via fuzzy sets. II: Fuzzy Scott topology on fuzzy directed-complete posets (Q549318) (← links)
- Fuzzy algebras as a framework for fuzzy topology (Q549319) (← links)
- Generalized fuzzy topology versus non-commutative topology (Q549320) (← links)
- A decomposition theorem for maxitive measures (Q550670) (← links)
- A bitopological point-free approach to compactifications (Q554414) (← links)
- The prime dicompletion of a di-uniformity on a plain texture (Q554419) (← links)
- A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras (Q554439) (← links)
- The dual of a generalized completely distributive lattice is a hypercontinuous lattice (Q607459) (← links)
- Adjunctions on the lattices of partitions and of partial partitions (Q607553) (← links)
- Hyperspaces of a weightable quasi-metric space: application to models in the theory of computation (Q614291) (← links)
- Insertion and extension theorems for lattice-valued functions on preordered topological spaces (Q616943) (← links)
- Hausdorff continuous interval-valued functions and quasicontinuous functions (Q618815) (← links)
- Towards the theory of \(\mathbb M\)-approximate systems: Fundamentals and examples (Q622030) (← links)
- Hypergraph functor and attachment (Q622061) (← links)
- Idempotent block splitting on partial partitions. I: Isotone operators (Q634752) (← links)
- Fundamental results for pointfree convex geometry (Q636383) (← links)
- Approximation of sets based on partial covering (Q642525) (← links)
- Order topology and bi-Scott topology on a poset (Q644638) (← links)
- Intrinsic approach spaces on domains (Q645198) (← links)
- Descent and effective descent morphisms in \(\omega\)-\({\mathcal C}po\) (Q645200) (← links)
- A duality of generalized metric spaces (Q645202) (← links)
- Duality and canonical extensions for stably compact spaces (Q649839) (← links)
- Range universal spaces (Q664686) (← links)
- Pullbacks, \(C(X)\)-algebras, and their Cuntz semigroup (Q664714) (← links)