Continuous Lattices and Domains

DOI10.1017/CBO9780511542725zbMath1088.06001OpenAlexW1525647423MaRDI QIDQ4787439

Gerhard Gierz, Klaus Keimel, Dana S. Scott, Michael W. Mislove, Jimmie D. Lawson, Karl Heinrich Hofmann

Publication date: 7 January 2003

Full work available at URL: https://doi.org/10.1017/cbo9780511542725

Lawson topology ordered set Scott topology frame Heyting algebra continuous lattice domain partially ordered topological space continuous domain topological semilattice continuous semilattice quasicontinuous domain semitopological semilattice pospace Scott-continuous function Lawson duality of continuous semilattices Lawson duality of domain spectral theory of continuous lattices

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Categorical methods in general topology (54B30) Topological lattices, etc. (topological aspects) (54H12) Frames, locales (06D22) Continuous lattices and posets, applications (06B35) Topological lattices (06B30) Ordered topological structures (06F30) Topological semilattices, lattices and applications (22A26) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02)

Related Items

Layout randomization and nondeterminism ⋮ Quasicontinuous domains and the Smyth powerdomain ⋮ A stream calculus of bottomed sequences for real number computation ⋮ On the domain of formal balls of the Sorgenfrey quasi-metric space ⋮ On semicontinuous lattices and their distributive reflections ⋮ A note on the symmetry of all Nash equilibria in games with increasing best replies ⋮ The $\sigma_1$-topology and $\lambda_1$-topology on $s_1$-quasicontinuous posets. ⋮ Representations of algebraic domains and algebraic L-domains by information systems ⋮ Reductions and saturation reductions of (abstract) knowledge bases ⋮ Completely precontinuous posets. ⋮ Meet precontinuous posets. ⋮ $\mathbb T^\omega$ as a stable universal domain. ⋮ Observationally-induced algebras in domain theory ⋮ A domain-theoretic model of nominally-typed object-oriented programming ⋮ On a condition for semirings to induce compact information algebras. ⋮ A note on finitely derived information systems ⋮ Characterising E-projectives via co-monads ⋮ Formal contexts for algebraic domains ⋮ Fundamental duality of abstract categories and its applications ⋮ Lattice-valued bornological systems ⋮ Lattice-valued preordered sets as lattice-valued topological systems ⋮ Function spaces from coherent continuous domains to RB-domains ⋮ QRB, QFS, and the probabilistic powerdomain ⋮ Birkhoff's order-convergence in partially ordered sets. ⋮ Essential and density topologies of continuous domains ⋮ Atomicity, coherence of information, and point-free structures ⋮ Priestley-type dualities for partially ordered structures ⋮ On convergence in $L$-valued fuzzy topological spaces ⋮ A result for $O_{2}$-convergence to be topological in posets ⋮ Choice-free dualities for domains ⋮ Structural congruence for bialgebraic semantics ⋮ Belief, knowledge, lies and other utterances in an algebra for space and extrusion ⋮ Lattice-valued topological systems as a framework for lattice-valued formal concept analysis ⋮ Almost orthogonality and Hausdorff interval topologies of De Morgan lattices and lattice effect algebras ⋮ Pseudo equality algebras ⋮ Some new intrinsic topologies on complete lattices and the Cartesian closedness of the category of strongly continuous lattices ⋮ The dual of a generalized completely distributive lattice is a hypercontinuous lattice ⋮ Adjunctions on the lattices of partitions and of partial partitions ⋮ Some continuity notions for interval functions and representation ⋮ Cartesian closed categories of $F\mathcal Z$-domains ⋮ When the finest splitting topology is a group topology or Fréchet ⋮ A domain-theoretic approach to fuzzy metric spaces ⋮ Hyperspaces of a weightable quasi-metric space: application to models in the theory of computation ⋮ Sublattices of associahedra and permutohedra ⋮ Approaching metric domains ⋮ $(\mathcal Z_1,\mathcal Z_2)$-complete partially ordered sets and their representations by $\mathcal Q$-spaces. ⋮ Insertion and extension theorems for lattice-valued functions on preordered topological spaces ⋮ Hausdorff continuous interval-valued functions and quasicontinuous functions ⋮ Towards the theory of $\mathbb M$-approximate systems: Fundamentals and examples ⋮ Hypergraph functor and attachment ⋮ Topological properties of prime filters in MTL-algebras and fuzzy set representations for MTL-algebras ⋮ Inverse-limit and topological aspects of abstract interpretation ⋮ Extending algebraic operations to D-completions ⋮ A survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction and sobriety ⋮ Lowen LM-fuzzy topological spaces ⋮ Categorical foundations of variety-based topology and topological systems ⋮ The nullities for $M$-fuzzifying matroids ⋮ The categories of flows of Set and Top ⋮ On adjunctions between Lim, SL-Top, and SL-Lim ⋮ Kernel systems on $L$-ordered sets ⋮ Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces ⋮ Topological properties of generalized approximation spaces ⋮ Interval additive generators of interval t-norms and interval t-conorms ⋮ Function spaces from Lawson compact continuous domains to continuous B-domains ⋮ Quasi-pseudo-metrization of topological preordered spaces ⋮ Domain theory and mirror properties in inverse semigroups ⋮ States in Łukasiewicz logic correspond to probabilities of rational polyhedra ⋮ Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras ⋮ A class of fuzzy multisets with a fixed number of memberships ⋮ Consistent Hoare powerdomains. ⋮ Consistent Plotkin powerdomains. ⋮ Two Cartesian closed categories of information algebras ⋮ Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases ⋮ On topologies defined by irreducible sets ⋮ Heyting mereology as a framework for spatial reasoning ⋮ A derivative for complex Lipschitz maps with generalised Cauchy-Riemann equations ⋮ Observationally-induced lower and upper powerspace constructions ⋮ On approximate-type systems generated by $ L$-relations ⋮ On the largest Cartesian closed category of stable domains ⋮ A new view of relationship between atomic posets and complete (algebraic) lattices ⋮ On state residuated lattices ⋮ Maximal classes of spaces and domains determined by topologies on function spaces of domains ⋮ Elements for a formal model of intentional systems ⋮ On the uniformization of lattice-valued frames ⋮ On the prevariety of perfect lattices ⋮ Complexity spaces as quantitative domains of computation ⋮ Algebraic models for $T_1$-spaces ⋮ Approximation in quantale-enriched categories ⋮ Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language ⋮ Canonical extensions and canonicity via dcpo presentations ⋮ Quantitative domains via fuzzy sets. II: Fuzzy Scott topology on fuzzy directed-complete posets ⋮ Fuzzy algebras as a framework for fuzzy topology ⋮ Generalized fuzzy topology versus non-commutative topology ⋮ A decomposition theorem for maxitive measures ⋮ A bitopological point-free approach to compactifications ⋮ The prime dicompletion of a di-uniformity on a plain texture ⋮ A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras ⋮ Re-visiting axioms of information systems ⋮ Partially ordered metric spaces produced by $T_{0}$-quasi-metrics ⋮ Topologies generated by nested collections ⋮ Applications of Scott-closed sets in convex structures ⋮ Non-reflective categories of some kinds of weakly sober spaces ⋮ On quasi-metrizable $d$-spaces ⋮ Various types of completeness in topologized semilattices ⋮ Topological properties of the binary supremum function ⋮ Convexity on complete lattices ⋮ Characterization of residuated lattices via multipliers ⋮ Vietoris hyperspaces over scattered Priestley spaces ⋮ Completing simple valuations in K-categories ⋮ Semantics of quantum programming languages: Classical control, quantum control ⋮ Discrete overlap functions: basic properties and constructions ⋮ Bases and subbases in $(L, M)$-fuzzy convex spaces ⋮ Markovian dynamics of concurrent systems ⋮ Alexandroff topology of algebras over an integral domain ⋮ A metrizable semitopological semilattice with non-closed partial order ⋮ Pro-compactly finite MV-algebras ⋮ $ \mathcal{Z} $-quasidistributive and $\mathcal{Z} $-meet-distributive posets ⋮ Ranks of operators in simple $C^*$-algebras with stable rank one ⋮ Well-filterifications of topological spaces ⋮ First countability, $ \omega $-well-filtered spaces and reflections ⋮ On a new convergence in topological spaces ⋮ Split Hausdorff internal topologies on posets ⋮ A note on ``Posets having continuous interval ⋮ On the universal completion of pointfree function spaces ⋮ Fixed points and completeness in metric and generalized metric spaces ⋮ Constructions of overlap functions on bounded lattices ⋮ Some topological properties of spaces of Lipschitz continuous maps on quasi-metric spaces ⋮ Sober Scott spaces are not always co-sober ⋮ On $T_0$ spaces determined by well-filtered spaces ⋮ Coincidence of the Isbell and Scott topologies on the function spaces of quasicontinuous domains ⋮ Cartesian closedness of a category of non-frame valued complete fuzzy orders ⋮ On the reflective and coreflective subcategory of stratified $L$-Čech closure spaces ⋮ Coincidence of the upper Vietoris topology and the Scott topology ⋮ On H-sober spaces and H-sobrifications of $T_0$ spaces ⋮ \textbf{K}-reflections of product spaces ⋮ New construction of t-norms and t-conorms on bounded lattices ⋮ Intuitionistic fixed point logic ⋮ Representations of stably continuous semi-lattices by information systems and abstract bases ⋮ Aggregation operators in fuzzy relational mathematical morphology: erosion and dilation ⋮ A local characterization for the Cuntz semigroup of AI-algebras ⋮ Thompson aggregators, Scott continuous koopmans operators, and least fixed point theory ⋮ Some further results about uninorms on bounded lattices ⋮ A note on the relationships between generalized rough sets and topologies ⋮ Residuated implications derived from quasi-overlap functions on lattices ⋮ Defining rough sets as core-support pairs of three-valued functions ⋮ Aggregation functions on $n$-dimensional ordered vectors equipped with an admissible order and an application in multi-criteria group decision-making ⋮ The enriched Vietoris monad on representable spaces ⋮ Consistent Smyth powerdomains. ⋮ Stochastic $\lambda$-calculi: an extended abstract ⋮ On the category of lattice-valued bornological vector spaces ⋮ Fixed point theorems in generalized metric spaces with applications to computer science ⋮ Cartesian closed categories of separable Scott domains ⋮ Branching cells for asymmetric event structures ⋮ Anatomy of a domain of continuous random variables. I ⋮ $s_2$-quasicontinuous posets. ⋮ Principal mappings between posets ⋮ The categorical equivalence between algebraic domains and F-augmented closure spaces. ⋮ Conjugative relations and applications ⋮ On interval fuzzy S-implications ⋮ On chains in $H$-closed topological pospaces ⋮ Continuous triangular norm based fuzzy topology ⋮ New constructions of uninorms on bounded lattices ⋮ Globally hyperbolic spacetimes as posets ⋮ Domains and stochastic processes ⋮ On operator amenability of Fourier-Stieltjes algebras ⋮ Existence of well-filterifications of $T_0$ topological spaces ⋮ Lower topological poset models of $T_1$ topological spaces ⋮ Notes on ``Solution sets of inf-$\alpha_{\mathcal{T}}$ fuzzy relational equations on complete Brouwerian lattices and ``Fuzzy relational equations on complete Brouwerian lattices ⋮ A direct approach to $K$-reflections of $T_0$ spaces ⋮ On some kinds of weakly sober spaces ⋮ On topological Rudin's lemma, well-filtered spaces and sober spaces ⋮ Abstract bivariant Cuntz semigroups. II ⋮ A representation of continuous domains via relationally approximable concepts in a generalized framework of formal concept analysis ⋮ Hausdorff tight groupoids generalised ⋮ Weak finitely regular relations and applications ⋮ Stochastic order on metric spaces and the ordered Kantorovich monad ⋮ Canonical extensions of locally compact frames ⋮ Generalized continuous closure spaces. I: Meet preserving closure operations ⋮ Lattice-equivalence of convex spaces ⋮ Dcpo models of Choquet complete and Baire spaces ⋮ Formal ball monads ⋮ $SI$-continuous spaces and continuous posets ⋮ Codensity, profiniteness and algebras of semiring-valued measures ⋮ Fuzzy $Z$-continuous posets ⋮ On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics ⋮ A strict implication calculus for compact Hausdorff spaces ⋮ An axiomatic approach to bases and subbases in $L$-convex spaces and their applications ⋮ On residuated lattices with left and right internal state ⋮ Some weaker versions of topological residuated lattices ⋮ Completeness in probabilistic quasi-uniform spaces ⋮ Lattice-valued convergence associated with CNS spaces ⋮ Insertion theorems for some topological spaces by maps to posets ⋮ To the spectral theory of partially ordered sets ⋮ Consistent-linear \textit{FS}-domains ⋮ Fuzzy quantic nuclei and conuclei with applications to fuzzy semi-quantales and $(L,M)$-quasi-fuzzy topologies ⋮ Hypercontinuous posets. ⋮ From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference ⋮ Exponential Kleisli monoids as Eilenberg-Moore algebras ⋮ Cubical approximation for directed topology. I ⋮ Modal operators on compact regular frames and de Vries algebras. ⋮ Locally upper bounded poset-valued maps and stratifiable spaces ⋮ The saturated prefilter monad ⋮ \textit{SI}-convergence in $T_0$ spaces ⋮ Some open problems on well-filtered spaces and sober spaces ⋮ Quasi-liminf convergence in posets ⋮ Grätzer-Hofmann-Lawson-Jung-Sünderhauf duality ⋮ Generalised information systems capture L-domains ⋮ Distance domains: continuity ⋮ Many valued lattices and their representations ⋮ Uniform environments as a general framework for metrics and uniformities ⋮ Survey of local connectedness axioms and their properties in $L$-topological spaces ⋮ Lattices of convex normal functions ⋮ Brown-Booth-Tillotson theory for classes of exponentiable spaces ⋮ Unified representability of total preorders and interval orders through a single function: the lattice approach ⋮ Generalized continuous posets and a new Cartesian closed category ⋮ Order-adjoint monads and injective objects ⋮ Order-convergence and lim-inf $\mathcal M$-convergence in posets ⋮ Projective topology on bifinite domains and applications ⋮ Towards a descriptive set theory for domain-like structures ⋮ Generalized ultrametric spaces in quantitative domain theory ⋮ Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations ⋮ Representing probability measures using probabilistic processes ⋮ An enriched category approach to many valued topology ⋮ On a generalization of Goguen's category ${\mathcal S}et(L)$ ⋮ The best interval representations of t-norms and automorphisms ⋮ On a possible continuous analogue of the Szpilrajn theorem and its strengthening by Dushnik and Miller ⋮ Quasicontinuity of posets via Scott topology and sobrification ⋮ (IC) $L$-cotopological spaces ⋮ Closure axioms for a class of fuzzy matroids and co-towers of matroids ⋮ Lattice-valued soft algebras. ⋮ Continuity of function spaces from pointwise directed families of characteristic functions. ⋮ On the order-theoretic properties of lower concept formula systems ⋮ Representable $(\mathbb{T},\mathbf{V})$-categories ⋮ Monotone equilibria in nonatomic supermodular games. A comment ⋮ Metrics for generalized persistence modules ⋮ Open set lattices of subspaces of spectrum spaces ⋮ Bases of closure systems over residuated lattices ⋮ A representation of L-domains by information systems ⋮ QC-continuity of posets and the Hoare powerdomain of QFS-domains ⋮ Classifying finite-dimensional $C^*$-algebras by posets of their commutative $C^*$-subalgebras ⋮ A note on duals of topologies. ⋮ Idempotent block splitting on partial partitions. I: Isotone operators ⋮ Fundamental results for pointfree convex geometry ⋮ Approximation of sets based on partial covering ⋮ Order topology and bi-Scott topology on a poset ⋮ Intrinsic approach spaces on domains ⋮ Descent and effective descent morphisms in $\omega$-${\mathcal C}po$ ⋮ A duality of generalized metric spaces ⋮ Duality and canonical extensions for stably compact spaces ⋮ An irregular filter model ⋮ Strongly continuous posets and the local Scott topology ⋮ The optimization problem over a distributive lattice ⋮ Range universal spaces ⋮ Pullbacks, $C(X)$-algebras, and their Cuntz semigroup ⋮ A tribute to Karl H. Hofmann on the occasion of his 75th birthday ⋮ Topological cones: functional analysis in a $T_{0}$-setting ⋮ Continuity in partially ordered sets ⋮ A Hofmann-Mislove theorem for bitopological spaces ⋮ Anamorphoses and flat morphological operators on power lattices ⋮ The change-base issue for $\Omega$-categories ⋮ Reconstructing masks from markers in non-distributive lattices ⋮ Principal topologies and transformation semigroups ⋮ On computational environments of topological spaces ⋮ Metric spaces and $FS$-domains ⋮ Fine hierarchies and m-reducibilities in theoretical computer science ⋮ Information systems revisited -- the general continuous case ⋮ Lawson topology of the space of formal balls and the hyperbolic topology ⋮ An application of a representation theorem for fuzzy metrics to domain theory ⋮ Connectedness and local connectedness for lattice-valued convergence spaces ⋮ The probabilistic powerdomain from a topological viewpoint ⋮ A domain model characterising strong normalisation ⋮ $L$-fuzzy strongest postcondition predicate transformers as $L$-idempotent linear or affine operators between semimodules of monotonic predicates ⋮ Concept lattices of fuzzy contexts: formal concept analysis vs. rough set theory ⋮ Topological properties of concept spaces (full version) ⋮ Comparing free algebras in topological and classical domain theory ⋮ Sobriety and spatiality in categories of lattice-valued algebras ⋮ Quantitative domains via fuzzy sets. I: Continuity of fuzzy directed complete posets ⋮ On lattice-valued frames: the completely distributive case ⋮ A differential operator and weak topology for Lipschitz maps ⋮ The probabilistic powerdomain for stably compact spaces ⋮ Dcpo-completion of posets ⋮ Topological aspects of poset spaces ⋮ More on upper bicompletion-true functorial quasi-uniformities ⋮ Quasi-metrics and monotone normality ⋮ Quotient-reflective and bireflective subcategories of the category of preordered sets ⋮ A generalization of the Dedekind-MacNeille completion ⋮ A Stone-type duality for $s T_0$ stratified Alexandrov $L$-topological spaces ⋮ Closedness of the category of liminf complete fuzzy orders ⋮ Meet continuity properties of posets ⋮ Embedding lattices into derived lattices. ⋮ Many for the price of one duality principle for affine sets ⋮ Exponentials in a Cartesian closed category which contains all algebraic domains ⋮ Priestley style duality for distributive meet-semilattices ⋮ Adjoints and monads related to compact lattices and compact Lawson idempotent semimodules ⋮ Traceless AF embeddings and unsuspended $E$-theory ⋮ A unified method for completions of posets and closure spaces ⋮ Fixed points of covering upper and lower approximation operators ⋮ General $L$-fuzzy aggregation functions based on complete residuated lattices ⋮ Ambiguous representations of semilattices, imperfect information, and predicate transformers ⋮ Representability of binary relations through fuzzy numbers ⋮ Sober is not always co-sober ⋮ Comparing Cartesian closed categories of (core) compactly generated spaces ⋮ General non-commutative locally compact locally Hausdorff Stone duality ⋮ A new dcpo whose Scott topology is well-filtered but not sober ⋮ In memoriam: Klaus Keimel (1939--2017) ⋮ Enriched Stone-type dualities ⋮ The strength of prime separation, sobriety, and compactness theorems ⋮ A Gelfand duality for compact pospaces ⋮ Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics ⋮ The role of the Mizar mathematical library for interactive proof development in Mizar ⋮ Lattice-theoretic contexts and their concept lattices via Galois ideals ⋮ A generalized distance based on a generalized triangle inequality ⋮ Consistent Hoare powerdomains over dcpos ⋮ $L$-valued bornologies on powersets ⋮ Generalized interval-valued OWA operators with interval weights derived from interval-valued overlap functions ⋮ Sober metric approach spaces ⋮ A domain of unital channels ⋮ Denotational semantics of membrane systems by using complete metric spaces ⋮ Cartesian closed extensions of subcategories of CONT ⋮ On scattered convex geometries ⋮ Proximity biframes and Nachbin spaces ⋮ The $d$-rank of a topological space ⋮ Tensor products and relation quantales ⋮ A cut-invariant law of large numbers for random heaps ⋮ Nash equilibria on topological semilattices ⋮ Esakia style duality for implicative semilattices ⋮ Varieties of lattices with geometric descriptions ⋮ Fuzzy topological spaces with conical neighborhood systems ⋮ The Cuntz semigroup and domain theory ⋮ Colimits of continuous lattices ⋮ On $FS_+$-domains ⋮ Weak algebraic information systems and a new equivalent category of DOM of domains ⋮ Idempotent analysis and continuous semilattices ⋮ Posets having continuous intervals ⋮ On the relationship between compact regularity and Gentzen's cut rule ⋮ Asymptotic combinatorics of Artin-Tits monoids and of some other monoids ⋮ Variational principles, completeness and the existence of traps in behavioral sciences ⋮ (Ultra-) completeness numbers and (pseudo-) paving numbers ⋮ Domain theoretical differential calculi ⋮ The answer to a problem posed by Zhao and Ho ⋮ $\mathcal{MN}$-convergence and $\lim$-$\inf_{\mathcal{M}}$-convergence in partially ordered sets ⋮ Regularity of fuzzy convergence spaces ⋮ Topologies induced by the representation of a betweenness relation as a family of order relations ⋮ Sheaves and duality ⋮ Stone-type representations and dualities for varieties of bisemilattices ⋮ A monad for randomized algorithms ⋮ Bitopology and four-valued logic ⋮ Strongly semicontinuous lattices ⋮ $s_{2}$-C-continuous poset ⋮ On monotone determined spaces ⋮ Characterizations of various continuities of posets via approximated elements ⋮ Yoneda completion via a dcpo completion of its poset of formal balls ⋮ The meet-continuity of $L$-semilattices ⋮ Countably sober spaces ⋮ Characterizing consistent Smyth powerdomains by \textit{FS-}$\land^{\uparrow}$-domains ⋮ On subset families that form a continuous lattice ⋮ On topological spaces that have a bounded complete dcpo model ⋮ The stochastic order of probability measures on ordered metric spaces ⋮ A representation theorem for fuzzy pseudometrics ⋮ Semantics of non-deterministic possibility computation ⋮ Join-completions of $L$-ordered sets ⋮ Bitopological and topological ordered $k$-spaces ⋮ Strong reducibility of partial numberings ⋮ Domain theory, testing and simulation for labelled Markov processes ⋮ Notes on the products of the lower topology and Lawson topology on posets ⋮ Categories of bi-fuzzy pre-matroids ⋮ The lattice of kernel operators and topological algebra ⋮ Measure extension theorems for $T_{0}$-spaces ⋮ Locally compact path spaces ⋮ Algebraic aspects of generalized approximation spaces ⋮ Safe \& robust reachability analysis of hybrid systems ⋮ Characteristic triangles of closure operators with applications in general algebra ⋮ Categories of locally hypercompact spaces and quasicontinuous posets ⋮ Scott approach distance on metric spaces ⋮ Sobriety of quantale-valued cotopological spaces ⋮ Notes on topological BL-algebras ⋮ Axiomatic approaches to rough approximation operators via ideal on a complete completely distributive lattice ⋮ Formal topological characterizations of various continuous domains ⋮ The upper Vietoris topology on the space of inverse-closed subsets of a spectral space and applications ⋮ Representing topologies using partially ordered semigroups ⋮ Some results on fuzzy $Z_{L}$-continuous(algebraic) poset ⋮ Locally complete consistent F-augmented contexts: a category-theoretic representation of algebraic L-domains ⋮ On linearly ordered $H$-closed topological semilattices ⋮ On countable completions of quotient ordered semigroups ⋮ Operational domain theory and topology of sequential programming languages ⋮ Completions of partial metrics into value lattices ⋮ On the classification of (effective) $\varphi $-spaces ⋮ D-completions and the $d$-topology ⋮ A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language ⋮ Rough concept lattices and domains ⋮ The tropical analogue of polar cones ⋮ Domain semantics of possibility computations ⋮ A new approach to the fuzzification of matroids ⋮ On the relationship between limit spaces, many valued topological spaces, and many valued preorders ⋮ Analogizing Hutton's quasi-uniformities for complete lattices and extending Shi's quasi-uniformities to closed set lattices ⋮ Hyperbolic topology of normed linear spaces ⋮ On ordered categories as a framework for fuzzification of algebraic and topological structures ⋮ Topological representations of distributive hypercontinuous lattices ⋮ On lattices embeddable into lattices of algebraic subsets ⋮ A poset with spectral Scott topology is a quasialgebraic domain ⋮ Adjoint maps between implicative semilattices and continuity of localic maps ⋮ The monad on strong quasi-metric spaces ⋮ Transporting continuity properties from a poset to its subposets ⋮ Information systems for continuous semi-lattices ⋮ On generic continuity of maps to posets with metrics ⋮ Chu duality theory and coalgebraic representation of quantum symmetries ⋮ On $(O,G)$-fuzzy rough sets based on overlap and grouping functions over complete lattices ⋮ Non-deterministic effects in a realizability model ⋮ Domain-complete and LCS-complete spaces ⋮ Algebras of the extended probabilistic powerdomain monad ⋮ Generalizing topological set operators ⋮ Some results on poset models consisting of compact saturated subsets ⋮ Universal approach to $Z$-frame envelopes of semilattices ⋮ On $\mathrm{SI}_2$-continuous spaces ⋮ A Cartesian closed category of domains with almost algebraic bases ⋮ Characterizations of supercontinuous posets via Scott $S$-sets and the $S$-essential topology ⋮ Quasi-continuous Yoneda complete quasi-metric space ⋮ Weak domain models of $T_1$ spaces ⋮ Lattices of irreducibly-derived closed sets ⋮ $C_\sigma$-unique dcpos and non-maximality of the class of dominated dcpos regarding $\Gamma$-faithfulness ⋮ Representation of FS-domains based on closure spaces ⋮ The duality theory of general $\mathcal{Z}$-continuous posets ⋮ $s_2$-quasialgebraic posets ⋮ Nuclear ranges in implicative semilattices ⋮ Core-compactness, consonance and the Smyth powerspaces ⋮ $L$-fuzzy upper approximation operators associated with $L$-generalized fuzzy remote neighborhood systems of $L$-fuzzy points ⋮ Domain theoretic second-order Euler's method for solving initial value problems ⋮ Relational representations of algebraic lattices and their applications ⋮ QFS-domains and their Lawson compactness ⋮ Normally preordered spaces and utilities ⋮ A new order relation on fuzzy soft sets and its application ⋮ Proper/residually-finite idempotent semirings. ⋮ Quotients of $L$-domains ⋮ New representations of algebraic domains and algebraic L-domains via closure systems ⋮ A new approach to concavity fuzzification ⋮ A study of convergences in partially ordered sets ⋮ Topologies for semicontinuous Richter-Peleg multi-utilities ⋮ Spreading nets: a uniform approach to unfoldings ⋮ A logic for Lawson compact algebraic L-domains ⋮ Axiomatic approaches to rough approximation operators on complete completely distributive lattices ⋮ A mathematical-physical approach on regularity in hit-and-miss hypertopologies for fuzzy set multifunctions ⋮ Scott functions, their representations on domains, and applications to random sets ⋮ A discussion of well-filteredness and sobriety ⋮ Characterization of posets for liminf convergence being topological ⋮ New perspectives of granular computing in relation geometry induced by pairings ⋮ Compact Hausdorff spaces with relations and Gleason spaces ⋮ Bohr compactifications of algebras and structures ⋮ Exponentiable streams and prestreams ⋮ Endpoints in $T_0$-quasimetric spaces. II. ⋮ Proximity frames and regularization. ⋮ Complexity analysis via approach spaces ⋮ Weak topologies and compactness in asymmetric functional analysis ⋮ Hausdorff coalgebras ⋮ The order-sobrification monad ⋮ The Hahn embedding theorem for a class of residuated semigroups ⋮ Some characterizations of weak sobriety and upper spaces ⋮ Rough games modeled via $L$-fuzzy ambiguous representations of semilattices ⋮ Hull operators and interval operators in $(L,M)$-fuzzy convex spaces ⋮ Characterizations of $L$-convex spaces via domain theory ⋮ On generalized derivations of partially ordered sets ⋮ A comparative study of ideals in fuzzy orders ⋮ The $\top$-filter monad and its applications ⋮ Continuous L-domains in logical form ⋮ A new structure for uninorms on bounded lattices ⋮ Reasoning about distributed information with infinitely many agents ⋮ The fundamental theorem of finite semidistributive lattices ⋮ On function spaces related to $d$-spaces ⋮ First-countability, $ \omega $-Rudin spaces and well-filtered determined spaces ⋮ Concurrent semantics for fusions: weak prime domains and connected event structures ⋮ The $R$-completion of closure spaces ⋮ Kantorovich-Rubinstein quasi-metrics. II: Hyperspaces and powerdomains ⋮ On almost sober spaces ⋮ On $L^M$-valued automata: an operator oriented view ⋮ Describing hierarchy of concept lattice by using matrix ⋮ Overlap and grouping functions on complete lattices ⋮ Representation of bifinite domains by BF-closure spaces ⋮ An abstract theory of physical measurements ⋮ A representation of FS-domains by formal concept analysis ⋮ $L$-valued quasi-overlap functions, $L$-valued overlap index, and Alexandroff's topology ⋮ Two topologies on the lattice of Scott closed subsets ⋮ Skew derivations on partially ordered sets ⋮ Minimization interchange theorem on posets ⋮ $C^*$-algebras of stable rank one and their Cuntz semigroups ⋮ On the equivalence of Rudin's lemma and the Boolean prime ideal theorem ⋮ Duality theory for enriched Priestley spaces ⋮ On state ideals and state relative annihilators in De Morgan state residuated lattices ⋮ Kantorovich-Rubinstein quasi-metrics. III: Spaces of sublinear and superlinear previsions ⋮ Continuity and directed completion of topological spaces ⋮ Constructing overlap functions via multiplicative generators on complete lattices ⋮ On the existence of greatest elements and maximizers ⋮ Polyadic sets and homomorphism counting ⋮ Hofmann-Mislove through the lenses of Priestley ⋮ On soft computing with random fuzzy sets in econometrics and machine learning ⋮ On envelopes and backward approximations ⋮ Characterization of $T_0$ spaces for liminf convergence being topological ⋮ Maximal point spaces of closed interval posets ⋮ Bounded complete domains and their logical form ⋮ Graded labellings for abstract argumentation ⋮ Extension constructions of quasi-overlap functions and their derivative concepts on function spaces ⋮ Some notes on spaces of ideals and computable topology ⋮ Frink quasicontinuous posets ⋮ Uniform interpolation and compact congruences ⋮ Scott convergence and fuzzy Scott topology on $L$-posets ⋮ On $(L,M)$-fuzzy quasi-uniform spaces ⋮ Semantics of a sequential language for exact real-number computation ⋮ Discrete random variables over domains ⋮ Rough sets based on complete completely distributive lattice ⋮ A note on coherence of dcpos ⋮ Fuzzy bases of fuzzy domains ⋮ A four for the price of one duality principle for distributive spaces ⋮ The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras ⋮ Mediating secure information flow policies ⋮ Flat morphology on power lattices ⋮ Incidence structures and Stone-Priestley duality ⋮ Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings ⋮ Denotational semantics of hybrid automata ⋮ Capacities with values in compact Hausdorff lattices ⋮ Boolean topological distributive lattices and canonical extensions ⋮ Infinite distributive laws versus local connectedness and compactness properties ⋮ Ordered topological structures ⋮ Characterization of non-nilpotent topological interval semigroups ⋮ Yoneda completeness and flat completeness of ordered fuzzy sets ⋮ Categorical foundations of variety-based bornology ⋮ A non-frame valued Cartesian closed category of liminf complete fuzzy orders ⋮ On well-filtered spaces and ordered sets ⋮ Consistent Smyth powerdomains of topological spaces and quasicontinuous domains ⋮ Rough approximations via ideal on a complete completely distributive lattice ⋮ On Cartesian closed extensions of non-pointed domains ⋮ A domain-theoretic approach to Brownian motion and general continuous stochastic processes ⋮ On a topological universe of $L$-bornological spaces ⋮ A direct characterization of the monotone convergence space completion ⋮ $s_{Z}$-quasicontinuous posets and meet $s_{Z}$-continuous posets ⋮ Weak well-filtered spaces and coherence ⋮ Maximal point spaces of dcpos satisfying the Lawson condition ⋮ The upper topology and interval topology on quasi-hypercontinuous posets ⋮ Quantale-valued topological spaces via closure and convergence ⋮ Minimal solutions of generalized fuzzy relational equations: clarifications and corrections towards a more flexible setting ⋮ On two problems about sobriety of topological spaces ⋮ Kantorovich-Rubinstein quasi-metrics. I: Spaces of measures and of continuous valuations ⋮ Which distributive lattices are lattices of open sets of $P$-spaces? ⋮ Supercompactness of spaces of capacities and its consequences ⋮ Insertion of poset-valued maps with the way-below and -above relations ⋮ The B-topology on $S^{\ast}$-doubly quasicontinuous posets ⋮ Jimmie D. Lawson on the occasion of his 75th birthday ⋮ A novel framework for lim-inf convergence in posets ⋮ The interplay between weak topologies on topological semilattices ⋮ Some thoughts on countable Lindelöf products ⋮ Completeness and absolute $H$-closedness of topological semilattices ⋮ A compact space is not always $SI$-compact ⋮ A general approach to extension-based semantics in abstract argumentation ⋮ Remarks on hyperspaces for Priestley spaces ⋮ A uniform approach to completions of posets ⋮ Quotients of d-frames ⋮ Radical theory of Scott-open filters ⋮ On the geometry of physical measurements: topological and algebraic aspects ⋮ A topological duality for dcpos ⋮ Notions of local compactness and smallest compactifications of biframes ⋮ Finite dimensional scattered posets ⋮ Coincidence of the Isbell and Scott topologies on domain function spaces ⋮ A Rigid Cone in the Truth-Table Degrees with Jump ⋮ On conditions for semirings to induce compact information algebras ⋮ On a problem about strictly completely regular ordered spaces posed by Lawson ⋮ Topological properties of the continuous function spaces on some ordered compacta ⋮ The categorical equivalence between domains and interpolative generalized closure spaces ⋮ Kantorovich-Rubinstein quasi-metrics IV: lenses, quasi-lenses and forks ⋮ Categorically algebraic topology versus universal topology ⋮ On the construction of domains of formal balls for uniform spaces ⋮ A presentation of the assembly of a frame by generators and relations exhibits its bitopological structure. ⋮ Topological duality and lattice expansions. I: A topological construction of canonical extensions. ⋮ Topological duality and lattice expansions. II: Lattice expansions with quasioperators. ⋮ Complete and directed complete $\Omega $-categories ⋮ Closed convex sets and their best simultaneous approximation properties with applications ⋮ Choiceless, pointless, but not useless: dualities for preframes ⋮ On Choquet theorem for random upper semicontinuous functions ⋮ True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures ⋮ The category of supercontinuous posets ⋮ Continuity of posets via Scott topology and sobrification ⋮ Combining effects: sum and tensor ⋮ On the computational content of the Lawson topology ⋮ Simultaneous metric projection onto closed sets ⋮ Priestley spaces, quasi-hyperalgebraic lattices and Smyth powerdomains ⋮ Abstract Interpretation From a Denotational-semantics Perspective ⋮ Extending Algebraic Operations to D-Completions ⋮ Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting ⋮ A Framework for Component Categories ⋮ Dependent Types and Fibred Computational Effects ⋮ THE VALIDITY OF WEIGHTED AUTOMATA ⋮ Compactly generated Hausdorff locales ⋮ Injectivity and sections ⋮ A Convenient Category of Domains ⋮ Partial order and a T0-topology in a set of finite quantum systems ⋮ Closure spaces and completions of posets ⋮ $L$-fuzzy syntopogenous structures. I: Fundamentals and application to $L$-fuzzy topologies, $L$-fuzzy proximities and $L$-fuzzy uniformities ⋮ On fuzzification of topological categories ⋮ Two Cartesian closed subcategories of fuzzy domains ⋮ The equivalence of QRB, QFS, and compactness for quasicontinuous domains. ⋮ A categorical representation of algebraic domains based on variations of rough approximable concepts ⋮ QFS-domains and quasicontinuous domains. ⋮ All Cartesian closed categories of quasicontinuous domains consist of domains ⋮ A topological approach to divisibility of arithmetical functions and GCD matrices ⋮ Hierarchies in?-spaces and applications ⋮ Densities of idempotent measures and large deviations ⋮ Quivers of monoids with basic algebras ⋮ Primal spaces and quasihomeomorphisms ⋮ A Parametrization of the Irreducible Representations of a Compact Inverse Semigroup ⋮ Convergence without points ⋮ Distance Domains: Completeness ⋮ Unnamed Item ⋮ Future Path-components in Directed Topology ⋮ Unnamed Item ⋮ TRANSITIVITY IN POINT-FREE TOPOLOGY ⋮ On Vaughan Pratt's crossword problem ⋮ Ordering quantum states and channels based on positive Bayesian evidence ⋮ M-valued Measure of Roughness for Approximation of L-fuzzy Sets and Its Topological Interpretation ⋮ Unnamed Item ⋮ Rice’s Theorem in Effectively Enumerable Topological Spaces ⋮ Unnamed Item ⋮ A Denotational Semantics for Total Correctness of Sequential Exact Real Programs ⋮ A realizability interpretation of Church's simple theory of types ⋮ On naturally continuous non-dcpo domains ⋮ Towards a descriptive theory of cb₀-spaces ⋮ Some results related to the continuity problem ⋮ Domain Theory and the Causal Structure of Space-Time ⋮ Interval Additive Generators of Interval T-Norms ⋮ Directed complete poset models of T₁ spaces ⋮ θ-continuity and D_θ-completion of posets ⋮ Positive Frege and its Scott‐style semantics ⋮ Representation of algebraic domains by formal association rule systems ⋮ Characterising E-projectives via Comonads ⋮ Well-filtered spaces and their dcpo models ⋮ Lattice-valued Scott topology on dcpos ⋮ A completion-invariant extension of the concept of meet continuous lattices ⋮ A stable universal domain related to ^ω ⋮ Ordered combinatory algebras and realizability ⋮ A new cardinal function on topological spaces ⋮ Tarski’s Influence on Computer Science ⋮ Continuation Passing Semantics for Membrane Systems ⋮ On Turing degrees of points in computable topology ⋮ Unnamed Item ⋮ Topological Properties of Concept Spaces ⋮ Representation of maxitive measures: An overview ⋮ On derivations of partially ordered sets ⋮ Unnamed Item ⋮ Fuzzy cut-stable map and its extension property1 ⋮ Roughness in m-semilattices1 ⋮ Closures in Binary Partial Algebras ⋮ Bicontinuous Domains and Some Old Problems in Domain Theory ⋮ A Duality Theorem for Quantitative Semantics ⋮ On Rough Concept Lattices ⋮ L-fuzzy Scott Topology and Scott Convergence of Stratified L-filters on Fuzzy Dcpos ⋮ Z-abstract Basis ⋮ Web spaces and worldwide web spaces: topological aspects of domain theory ⋮ Results on soft continuous functions in the soft topological spaces equipped with soft Scott topology ⋮ Connectedness for lattice-valued subsets in lattice-valued convergence spaces ⋮ On the General Coloring Problem ⋮ Characterization of quantale-valued metric spaces and quantale-valued partial metric spaces by convergence ⋮ On the Constructive and Computational Content of Abstract Mathematics ⋮ K-FLAT PROJECTIVE FUZZY QUANTALES ⋮ A Filter Model for the λμ-Calculus ⋮ Domain representations of spaces of compact subsets ⋮ QUANTALE-VALUED GAUGE SPACES ⋮ Tensor products and regularity properties of Cuntz semigroups ⋮ Domain theoretic characterisations of quasi-metric completeness in terms of formal balls ⋮ Convergence and quantale-enriched categories ⋮ ON TWO TYPES OF CONTINUOUS INFORMATION ALGEBRAS ⋮ Effectivity and effective continuity of multifunctions ⋮ Towards Computability over Effectively Enumerable Topological Spaces ⋮ On Finite-time Computability Preserving Conversions ⋮ Admissible Representations of Probability Measures ⋮ Continuous Domain Theory in Logical Form ⋮ Anatomy of a Domain of Continuous Random Variables II ⋮ Partial Recursive Functions and Finality ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Downward Sets and Their Best Simultaneous Approximation Properties with Applications ⋮ AF‐embeddability for Lie groups with T1 primitive ideal spaces ⋮ A generalization of a theorem of Hurewicz for quasi-Polish spaces ⋮ Lower topological algebraic domain models of topological spaces ⋮ Two types of Galois correspondences over quantaloid-typed sets ⋮ Unnamed Item ⋮ Essential and density topologies ons₂-continuous posets ⋮ Stably compact spaces ⋮ RECOVERING THE BOUNDARY PATH SPACE OF A TOPOLOGICAL GRAPH USING POINTLESS TOPOLOGY ⋮ Forward analysis for WSTS, part I: completions ⋮ Cuntz semigroups of ultraproduct C∗‐algebras ⋮ Predicate transformers for extended probability and non-determinism ⋮ A quantitative computational model for complete partial metric spaces via formal balls ⋮ On the Kolmogorov Complexity of Continuous Real Functions ⋮ Extending set functors to generalised metric spaces ⋮ A quasi-metric computational model from modular functions on monoids ⋮ From Coinductive Proofs to Exact Real Arithmetic ⋮ Uniqueness of directed complete posets based on Scott closed set lattices ⋮ On monoids of injective partial selfmaps almost everywhere the identity ⋮ Limits in categories of Vietoris coalgebras ⋮ A Domain-Theoretic Account of Picard's Theorem ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ FUZZY NEXUS OVER AN ORDINAL ⋮ Categorical dualities between certain kinds of fuzzy posets ⋮ The category of algebraic fuzzy closure L-systems on fuzzy complete lattices ⋮ The Wijsman structure of a quantale-valued metric space ⋮ KF-CONTINUOUS SPACES AND KF-QUASICONTINUOUS SPACES ⋮ ON MULTIPLIERS OF PARTIALLY ORDERED SETS ⋮ Completely distributive enriched categories are not always continuous ⋮ Structure-preserving diagonalization of matrices in indefinite inner product spaces ⋮ Consistent disjunctive sequent calculi and Scott domains ⋮ Quantale-valued Cauchy tower spaces and completeness ⋮ Universal extensions of specialization semilattices ⋮ Hofmann-Mislove type definitions of non-Hausdorff spaces ⋮ INTERVAL-VALUED REPRESENTABILITY OF QUALITATIVE DATA: THE CONTINUOUS CASE ⋮ Covering dimension of Cuntz semigroups II ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Admissible representations for probability measures ⋮ JOIN SEMICONTINUOUS LATTICES AND JOIN SEMICONTINUOUS FUNCTIONS ⋮ Separating minimal valuations, point-continuous valuations, and continuous valuations ⋮ Bounded sobriety and k-bounded sobriety of Q-cotopological spaces ⋮ Unnamed Item ⋮ Probability, valuations, hyperspace: Three monads on top and the support as a morphism ⋮ A new convergence inducing the SI-topology ⋮ I2-convergence in T0 spaces ⋮ Unnamed Item ⋮ Counting and Computing Join-Endomorphisms in Lattices ⋮ THE WADGE ORDER ON THE SCOTT DOMAIN IS NOT A WELL-QUASI-ORDER ⋮ m-Algebraic lattices in formal concept analysis ⋮ Unnamed Item ⋮ Isomorphism theorems between models of mixed choice ⋮ Unnamed Item ⋮ On a Category of Extensional Fuzzy Rough Approximation L-valued Spaces ⋮ The Fell Compactification of a Poset ⋮ Unnamed Item ⋮ On triple derivations of partially ordered sets ⋮ A complete Heyting algebra whose Scott space is non-sober ⋮ A completion-invariant extension of the concept of quasi C-continuous lattices ⋮ Products and projective limits of continuous valuations on T₀ spaces ⋮ The complete Heyting algebra of subsystems and contextuality ⋮ Studying the Krull dimension of finite lattices under the prism of matrices ⋮ Continuous Domains in Formal Concept Analysis* ⋮ Decompositions and measures on countable Borel equivalence relations ⋮ Various Constructions of Continuous Information Systems ⋮ A Functional Algorithm for Exact Real Integration with Invariant Measures ⋮ Layout Randomization and Nondeterminism ⋮ From Haar to Lebesgue via Domain Theory ⋮ Recovering the Elliott invariant from the Cuntz semigroup ⋮ Probabilistic Powerdomains and Quasi-Continuous Domains ⋮ Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions ⋮ Approximation relations on the posets of pseudometrics and of pseudoultrametrics ⋮ Fixed points of contractive maps on dcpo's ⋮ Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization ⋮ Wadge hardness in Scott spaces and its effectivization ⋮ Spatiality of countably presentable locales (proved with the Baire category theorem) ⋮ Wadge-like reducibilities on arbitrary quasi-Polish spaces ⋮ Unnamed Item ⋮ Best Simultaneous Approximation and Its Applications inC_ℝ(Q) ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Recursive Domain Equations of Filter Models ⋮ Homological algebra in characteristic one ⋮ Unnamed Item ⋮ Internal and External Logics of Abstract Interpretations ⋮ Quantale-valued generalizations of approach spaces and quantale-valued topological spaces ⋮ Simulation Hemi-metrics between Infinite-State Stochastic Games ⋮ Prevision Domains and Convex Powercones ⋮ On the structure of the space of complexity partial functions ⋮ Unnamed Item ⋮ A representation of proper BC domains based on conjunctive sequent calculi ⋮ Computable analysis with applications to dynamic systems ⋮ A topology on lattice-ordered groups ⋮ Fuzzy Topologies and Fuzzy Preorders Based on Complete Co-residuated Lattices ⋮ Variable-Range Approximate Systems Induced by Many-Valued L-Relations ⋮ Edwards' condition for quasitraces on C*-algebras ⋮ Dynamic game semantics ⋮ A unified approach to some non-Hausdorff topological properties ⋮ Completely primeL-filters, irreducibleL-filters and sobriety ⋮ QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES ⋮ Nets and reverse mathematics ⋮ Domains of commutative C*-subalgebras ⋮ A metrizable Lawson semitopological semilattice with non-closed partial order ⋮ A new notion of vertex independence and rank for finite graphs ⋮ TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4 ⋮ THE LOGIC OF INFORMATION IN STATE SPACES ⋮ Legendre decomposition for tensors* ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On Closure Systems and Adjunctions Between Fuzzy Preordered Sets ⋮ Easkia Duality and Its Extensions ⋮ On the Non-sequential Nature of Domain Models of Real-number Computation ⋮ A Hofmann-Mislove theorem for Bitopological Spaces ⋮ On the continuous action of enriched lattice-valued convergence groups: Some examples ⋮ Topological semigroups and their prequantale models ⋮ Weakly almost periodic topologies, idempotents and ideals ⋮ A representation of continuous lattices based on closure spaces ⋮ BL-global representations ⋮ Quantale-Valued Generalizations of Approach Groups ⋮ Quantale-Valued Uniformizations of Quantale-Valued Generalizations of Approach Groups ⋮ St. Alasdair on Lattices Everywhere ⋮ Convex structures via convex $L$-subgroups of an $L$-ordered group ⋮ Some further results on pointfree convex geometry ⋮ Generalized spectra and applications to finite distributive lattices ⋮ Products of topological spaces and families of filters ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Formal balls of Q-categories ⋮ The prime state ideal theorem in state residuated lattices ⋮ On function spaces equipped with Isbell topology and Scott topology ⋮ Frame presentations of compact hedgehogs and their properties ⋮ Interval convexity of scale effect algebras ⋮ A class of join-completions of partially ordered semigroups ⋮ Lattice-free and point-free: Vickers duality for subbases of stably locally compact spaces ⋮ Topology of closure systems in algebraic lattices ⋮ On $P$-sober spaces ⋮ Normal structure spaces of groups ⋮ The Cuntz semigroup of unital commutative AI-algebras ⋮ T-complete KM-fuzzy metric spaces via domain theory ⋮ On ordinal sums of overlap and grouping functions on complete lattices ⋮ New extensions of quasi-overlap functions and their generalized forms on bounded posets via $\diamond$-operators ⋮ On triangular norms representable as ordinal sums based on interior operators on a bounded meet semilattice ⋮ Nullnorms on bounded lattices constructed by means of closure and interior operators ⋮ A complete representation theorem for nullnorms on bounded lattices with ample illustrations ⋮ Iséki spaces of semirings ⋮ Recursive solution of initial value problems with temporal discretization ⋮ A frame-theoretic perspective on Esakia duality ⋮ Weakly weighted generalised quasi-metric spaces and semilattices ⋮ Lifting associative operations on subposets of a complete lattice ⋮ A category of complete residuated lattice-value neighborhood groups ⋮ Constructions of quasi-overlap functions and their generalized forms on bounded partially ordered sets ⋮ Lattice-valued overlap and quasi-overlap functions ⋮ On fuzzy monotone convergence $\mathcal{Q}$-cotopological spaces ⋮ Algebraic representation of frame-valued continuous lattices via the open filter monad ⋮ Constructing overlap and grouping functions on complete lattices by means of complete homomorphisms ⋮ Idempotent uninorms on a complete chain ⋮ Pre-(quasi-)overlap functions on bounded posets ⋮ On the cancellation problem for quantales ⋮ A dual equivalence for cofinal quantum B-algebras ⋮ Ideal spaces: An extension of structure spaces of rings ⋮ Deriving dualities in pointfree topology from Priestley duality ⋮ Powerset operators induced by fuzzy relations as a basis for fuzzification of various mathematical structures ⋮ On some results related to sober spaces ⋮ Subordinations on bounded distributive lattices ⋮ Symmetric bi-derivations on posets ⋮ Streams of approximations, equivalence of recursive effectful programs ⋮ Topological representations of Lawson compact algebraic L-domains and Scott domains ⋮ A set-theoretic representation of algebraic L-domains ⋮ A unified way to studies of t-seminorms, t-semiconorms and semi-uninorms on a complete lattice in terms of behaviour operations ⋮ On nontrivial weak dicomplementations and the lattice congruences that preserve them ⋮ Ordered locales ⋮ Classification of 𝒪_{∞}-Stable 𝒞*-Algebras ⋮ A constructive framework to define fusion functions with floating domains in arbitrary closed real intervals ⋮ On ordinal sums of countably many $C_R$- and $C_L$-overlap functions on complete lattices ⋮ On Small Types in Univalent Foundations ⋮ Metric and topology on the poset of compact pseudoultrametrics ⋮ The quantale of order-preserving maps of a completely distributive lattice ⋮ How much partiality is needed for a theory of computability? ⋮ Cones of traces arising from AF $C^\ast$-algebras ⋮ A domain-theoretic framework for robustness analysis of neural networks ⋮ Not every countable complete distributive lattice is sober ⋮ Scott topology on Smyth power posets ⋮ The order-K-ification monads ⋮ A construction of free dcpo-cones ⋮ Epimorphic quantum subgroups and coalgebra codominions ⋮ A characterization of idempotent nullnorms on bounded lattices ⋮ Formalising basic topology for computational logic in simple type theory ⋮ Reflections on a scientific career and its possible legacy ⋮ Barr-exact categories and soft sheaf representations ⋮ Maximal elements with minimal logic ⋮ Extracting total Amb programs from proofs ⋮ Quasicontinuous spaces ⋮ Domain theory aspects of extensions of integral domains ⋮ Unnamed Item ⋮ Unnamed Item ⋮ $\mathscr{QL}$-(operators) implications derived from quasi-overlap (quasi-grouping) functions and negations on bounded lattices ⋮ Local Yoneda completions of quasi-metric spaces ⋮ Spiking neural P systems and their semantics in Haskell ⋮ The syntactic side of autonomous categories enriched over generalised metric spaces ⋮ Causal structure of spacetime and Scott topology ⋮ The stone representations for generalized continuous posets ⋮ On discrete quasi-overlap functions ⋮ Robustness, Scott continuity, and computability ⋮ Apartness, sharp elements, and the Scott topology of domains ⋮ DS-partial metric spaces and domain theory ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Healthiness conditions for predicate transformers ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Exceptional values of p-Adic Derivatives, a survey with some improvements ⋮ Measure of Operators Associated with Fuzzy Automata ⋮ ℐ𝒢,𝒩-Implications Induced from Quasi-Grouping Functions and Negations on Bounded Lattices ⋮ L-fuzzy ideal degrees in effect algebras ⋮ A categorical study on the generalized type semigroup