scientific article

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

Publication date: 1980

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Bibliography meet continuous lattices topological semilattice complete Heyting algebras continuous lattice theory

Heyting algebras (lattice-theoretic aspects) (06D20) Topological lattices, etc. (topological aspects) (54H12) Semilattices (06A12) Complemented modular lattices, continuous geometries (06C20) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02)

Related Items

A generalization of core compact spaces, Insertion of lattice-valued and hedgehog-valued functions, \textit{SI}-convergence in $T_0$ spaces, The $\sigma_1$-topology and $\lambda_1$-topology on $s_1$-quasicontinuous posets., On the largest Cartesian closed category of stable domains., Birkhoff's order-convergence in partially ordered sets., On the axiomatisability of the dual of compact ordered spaces, Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL, Transporting many-valued sets along many-valued relations, Category theoretic aspects of chain-valued frames. I: Categorical and presheaf theoretic foundations, Pair algebras and Galois connections., Lattices of convex normal functions, Lattice-valued convergence spaces and regularity, On the category of fixed basis frame valued topological groups, A note on Hausdorff separation in $L$-TOP, Weakly semi-preopen ``semi-preclosed functions in $L$-double fuzzy topological spaces, Prime algebraicity, Choice-free dualities for domains, Ditopological texture spaces and fuzzy topology. III: Separation axioms, Extension of Shi's quasi-uniformities in a Kubiak-Šostak sense, The logic of tied implications. II. Syntax, Categories isomorphic to ($L,M$)-DFTOP, A logical approach to stable domains, An example of formalizing recent mathematical results in MIZAR, Generalized quasi-proximities, Finite dimensional continuous representations of compact regular semigroups, Continuous monoids and semirings, $\theta $-compactness in L-topological spaces, Monoidal computer. I: Basic computability by string diagrams, Convexity and quasi-uniformizability of closed preordered spaces, Ideal-valued topological structures, Overview and comparison of localic and fixed-basis topological products, Homotopy equivalence which is suitable for studying Khalimsky $n$D spaces, A new form of $\mathbb F$-compactness in $L$-fuzzy topological spaces, Interpolating functions, Lowen LM-fuzzy topological spaces, On $L$-Tychonoff spaces. II, Regularity and normality of $(L,M)$-fuzzy topological spaces, The patch construction is dual to algebraic DCPO representation, Some of Melvin Henriksen's contributions to spaces of ideals, Order-preserving reflectors and injectivity, A duality of quantale-enriched categories, Prime filters and ideals in distributive lattices, Applications of real number theorem proving in PVS, A particular Galois connection between relations and set functions., Formal query systems on contexts and a representation of algebraic lattices, Duality beyond sober spaces: Topological spaces and observation frames, Domain theory and integration, Semi-metrics, closure spaces and digital topology, A faithful computational model of the real numbers, Metric completion versus ideal completion, Quasi-prime algebraic domains, Interval propagation to reason about sets: Definition and implementation of a practical language, An extension of Stone duality to fuzzy topologies and MV-algebras, On Kan-injectivity of locales and spaces, Specification of topological spaces by algebraic systems of continuous functions, Morphisms of projective geometries and of corresponding lattices, Programs in partial algebras, A new view of relationship between atomic posets and complete (algebraic) lattices, On the hierarchy of d-structures, Maximal classes of spaces and domains determined by topologies on function spaces of domains, Domains arising as algebras for powerspace constructions, Paracompactness in $L$-topological spaces, A note on a natural equivalence relation on fuzzy power set, $L$-topological spaces as spaces of points, Fuzzy Galois connections under weak conditions, The probabilistic powerdomain for stably compact spaces, On characterizations of some covering properties in $L$-fuzzy topological spaces in Šostak's sense, Metrization theorems in $L$-topological spaces, On $L$-fuzzy topological spaces, The semi-precompactness axiom, Sublattices of Euclidean spaces, Dicompleteness and real dicompactness of ditopological texture spaces, Plain ditopological texture spaces, Convex powerdomains. I, On group topologies and idempotents in weak almost periodic compactifications, Coproducts of bounded $(\alpha,\beta)$-distributive lattices, Stratified $LMN$-convergence tower spaces, Tight representations of semilattices and inverse semigroups., On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular, Non-well-founded sets modeled as ideal fixed points, Catalytic distributive lattices and compact zero-dimensional topological lattices, On regularity of sup-preserving maps: generalizing Zareckiĭ's theorem, D-continuous causal nets: A model of non-sequential processes, A completion for partially ordered Abelian groups, Stability of the Souslin operation, Semigroups with $\wedge$-semidistributive subsemigroup lattices, Total objects of domains, Intrinsic topologies on semilattices of finite breadth, Comparative semantics for flow of control in logic programming without logic, Equational theory of continuous lattices, Completely regular ordered spaces, Lattice of fuzzy subalgebras and closure systems in $I^ X$, Closure functions and general iterates as reflectors, Point-set lattice-theoretic topology, On dissolute spaces, Subcategories of lattice-valued convergence spaces, Discrete dynamical systems in $L$-topological spaces, Region connection calculus: Its models and composition table, Regular algebra applied to language problems, Predictability and stopping on lattices of sets, Spectral sets, Embedding $\omega$-continuous posets in function spaces of domains, On upper continuous and semimodular lattices, Lattice-theoretical fixpont theorems in morphological image filtering, Lattices of random sets and progressivity, Order-topological complete orthomodular lattices, $L$-fuzzifying topologies as $L$-topologies, Stable power domains, Algebraic domains of natural transformations, Lagois connections -- a counterpart to Galois connections, PCF extended with real numbers, A martingale characterization of the set-indexed Brownian motion, Relation-based variations of the discrete Radon transform, Algebraic theories of compact pospaces, Some results on $\widetilde I(L)$ and $\widetilde R(L)$, Constraint logic programming with dynamic scheduling: A semantics based on closure operators, Liminf convergence in $\Omega$-categories, Trees and semantics, Continuity spaces: Reconciling domains and metric spaces, Dual spaces of some congruence lattices., Exponentiability for maps means fibrewise core-compactness., Regular relations and strictly completely regular ordered spaces., Duality and separation theorems in idempotent semimodules., A note on injective spaces., General Stone duality., A non-topological view of dcpos as convergence spaces., A characterization of partial metrizability: Domains are quantifiable., $H(\lambda)$-completely Hausdorff axiom on $L$-topological spaces., Meet continuous lattices, limit spaces, and $L$-topological spaces., On the order conditions of fuzzy convergence classes., O-convergence of fuzzy nets and its applications., First-countability, sequentiality and tightness of the upper Kuratowski convergence, Measure and integral with purely ordinal scales., Domain theory in logical form, Lattice-valued mappings, completely distributive law and induced spaces, Continuous completions, Behavioural inverse limit $\lambda$-models, Idempotent analysis and continuous semilattices, Posets having continuous intervals, Extending Stone duality to multisets and locally finite MV-algebras., Frame-fuzzy points and membership, A general theory of structure spaces with applications to spaces of prime ideals, The Dedekind-MacNeille completion as a reflector, Bigeneration in complete lattices and principal separation in ordered sets, CABool is monadic over almost all categories, A characterization of full sublattices of finite dimensional Euclidean space, A topological representation of lattices, Some economic applications of Scott domains, Theory of topological molecular lattices, Lattice-valued Hahn-Dieudonné-Tong insertion theorem and stratification structure, Semidistributivity, prime ideals and the subbase lemma, A memo on the exponential function and regular points, Ideal completion and Stone representation of ideal-distributive ordered sets, On non-Hausdorff spaces, The fuzzy Brouwer fixed-point theorem, Weak relative pseudo-complements of closure operators, A domain-theoretic approach to computability on the real line, Induction and recursion on the partial real line with applications to Real PCF, A fully abstract semantics for concurrent constraint programming, Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements, Lattice valued completely topological generated spaces, On some gross misunderstandings about the theory of topological molecular lattices, Accumulation point and C. T. Yang's theorem in $L$-fuzzy topological spaces, Layer compactness in $L$-fuzzy topological spaces and its applications, Quantitative semantics, topology, and possibility measures, The generalized Riemann integral on locally compact spaces, Properly injective spaces and function spaces, The way-below relation of function spaces over semantic domains, Topology, domain theory and theoretical computer science, Computation on metric spaces via domain theory, Uniform approximation of topological spaces, Generalized Zadeh function, Ditopological texture spaces and intuitionistic sets, A Daniell-Kolmogorov theorem for supremum preserving upper probabilities, Completely induced $L$-fuzzy topological spaces, Exponentiable objects in the category of topological molecular lattices, Extremal problems of approximation theory in fuzzy contact, Some questions in fuzzy topology, On the $L$-fuzzy Brouwer fixed point theorem, Limit structures and many valued topologies, Some categorical aspects of fuzzy topology, Down and up operators associated to fuzzy relations and t-norms: A definition of fuzzy semi-ideals, $\alpha$-compactness in $L$-fuzzy topological spaces, Connectedness in $L$-fuzzy topological spaces, Separation axioms in $L$-fuzzy topological spaces. I: $T_0$ and $T_1$, Paracompactness on $L$-fuzzy topological spaces, Simplification of Erceg's fuzzy metric function and its application, Extended lattice-ordered structures for $L$-fuzzy sets and $L$-fuzzy numbers, Locale theory and fuzzy topology, Some characterization theorems on lattice-valued induced spaces, Distributive laws for concept lattices, On compact Hausdorff $L$-fuzzy spaces, A localic $L$-fuzzy modification of topological spaces, Fuzzy cores and their extensions, Fuzzy intervals, Set-theoretical and other elementary models of the $\lambda$-calculus, Interdependence between Carathéodory numbers and $n$-distributivity in lattices, Separation axioms in fuzzy topology characterized by bitopologies, Epi-topology on spaces of lower semicontinuous functions into partially ordered spaces and hyperspaces, $RW$-spaces and compactness of function spaces for L-domains, When does the class $[{\mathcal A} \longrightarrow {\mathcal B}$ consist of continuous domains?], Urysohn closedness on completely distributive lattices, An insertion theorem for continuous $\mathbb I(L)$-valued functions and its consequences, Simultaneously reflective and coreflective full subconstructs of stratified $L$-topological spaces are concretely reflective and coreflective, Bounded complete models of topological spaces, On dual topologies, $L$-fuzzifying topology., Sublattices of lattices of order-convex sets. I: The main representation theorem, Ditopological texture spaces and fuzzy topology. I: basic concepts, Ditopological texture spaces and fuzzy topology. II: topological considerations, Strong fuzzy compact sets and ultra-fuzzy compact sets in $L$-topological spaces, The near SR-compactness axiom in $L$-topological spaces, A note on stratified $L$-real line and unit $L$-interval, Stopping and set-indexed local martingales, Equational compactness of bi-frames and projection algebras, Zero dimensional and connected domains, Minimal Hausdorff $L$-fuzzy topological spaces, In memoriam: Klaus Keimel (1939--2017), Enriched Stone-type dualities, Lattices of lower finite breadth, Asymmetry and duality in topology, Constructing a quasi-uniform function space, Projective mappings between projective lattice geometries, Intervals in lattices of quasiorders, Geometric and combinatorial views on asynchronous computability, $Z$-mappings and a classification theorem, The role of the Mizar mathematical library for interactive proof development in Mizar, Compactness in $L$-fuzzy topological spaces, $L$-fuzzy local compactness, Paracompactness in $L$-fuzzy topological spaces, Countability in $L$-fuzzy topology, Solutions to two problems of J. D. Lawson and M. Mislove, Borel measures in consonant spaces, When does the Fell topology on a hyperspace of closed sets coincide with the meet of the upper Kuratowski and the lower Vietoris topologies?, ${\mathbf Z}$-continuous posets, Basic structures of fuzzy topology, On $L$-Tychonoff spaces, Applications of localic separation axioms, compactness axioms, representations, and compactifications to poslat topological spaces, Some good $L$-fuzzy compactness-related concepts and their properties. I, Some good $L$-fuzzy compactness-related concepts and their properties. II, $L$-fuzzy version of Stone's representation theorem for distributive lattices, Classes of valuations closed under operations Galois-dual to Boolean sentence connectives, Lattice properties of $T_1-L$ topologies, Equilogical spaces and algebras for a double-power monad, Conjugate families of mappings in pointwise metric fuzzy lattices, Stratified $LMN$-convergence tower groups and their stratified $LMN$-uniform convergence tower structures, $\mathcal{MN}$-convergence and $\lim$-$\inf_{\mathcal{M}}$-convergence in partially ordered sets, Flexary connectives in Mizar, A natural Galois connection between generalized norms and metrics, The lattice structure of $\mathbf{L}$-contact relations, Deresiduums of implications on a complete lattice, Di-uniformities and Hutton uniformities, Bitopological and topological ordered $k$-spaces, Convex power domain and Vietoris space, An encompassing framework for paraconsistent logic programs, Order environments of topological spaces, Categories of locally hypercompact spaces and quasicontinuous posets, Some properties of $M$-fuzzifying convexities induced by $M$-orders, Axiomatic approaches to rough approximation operators via ideal on a complete completely distributive lattice, On the existence of ordered couplings of random sets -- with applications, Associatively tied implications., Connectedness on fuzzy topological spaces, Completions for partially ordered semigroups, Fuzzy-Stone-Čech-type compactifications, Some abstract maximal ideal-like spaces, Compactly embedded Cartan algebras and invariant cones in Lie algebras, Equilogical spaces, Intersecting sets in midset spaces. I, Incidence and lattice calculus with applications to stochastic geometry and image analysis, A category of compositional domain-models for separable Stone spaces., Closures on CPOs form complete lattices, Toward an infinitary logic of domains: Abramsky logic for transition systems, Integration in Real PCF, $L$-proximities and totally bounded pointwise $L$-uniformities, Local connectedness in $L$-topological spaces, Generalized Lowen functors, A note on the topological modification of the Hutton unit interval, A negative answer to T. Kubiak's question, Projective and injective objects in the category of quantales, On the reflectivity and coreflectivity of $L$-fuzzyfying topological spaces in $L$-topological spaces., Extension of valuations on locally compact sober spaces, Bohr topologies and compact function spaces, Polish spaces, computable approximations, and bitopological spaces, A truly concurrent semantics for a process algebra using resource pomsets, On the Yoneda completion of a quasi-metric space, Resource traces: A domain for processes sharing exclusive resources., Set-sharing is redundant for pair-sharing, Logical optimality of groundness analysis, Join-semidistributive lattices and convex geometries., Foundation of a computable solid modelling., Higher separation axioms in $L$-topologically generated $\mathbb I(L)$-topological spaces, Stratified Hutton uniform spaces, Propositional calculus under adjointness, Limit structures over completely distributive lattices, Fixed points of Scott continuous self-maps, Taut monads and $T0$-spaces., Notes on direct limits of complete lattices and frames, Function-space compactifications of function spaces, Structure of lattices characterized by validity of lattice-valued topological propositions, Topologies on the subgroup lattice of a compact group, Supremum self-decomposable random vectors, Vaught measures and their applications in lattice theory, Cones, semicontinuous functions, and continuous lattices, Retracts of the closure space of filters in the lattice of all subsets, Multiplicative lattices and frames, A categorical treatment of pre- and post-conditions, A geometric approach to the Bohr compactification of cones, Representation theorem of fuzzy lattices and its applications in fuzzy topology, Representation of merotopic and nearness spaces, Local property, normality, and uniformity in fuzzy topological spaces, The N-compactness in L-fuzzy topological spaces, Kakutani property of the polytopes implies Kakutani property of the whole space, $\kappa$-continuous lattices and comprehension principles for Frege structures, Narrow and vague convergence of set functions, Designing equivalent semantic models for process creation, Initial segments of the degrees of constructibility, Generalization of Scott's formula for retractions from generalized Alexandroff's cube, Proving open properties by induction, Subalgebra systems of idempotent entropic algebras, Pointwise topology on completely distributive lattices, Convex powerdomains. II, Towards ``dynamic domains: totally continuous cocomplete $\mathcal Q$-categories, On a possible continuous analogue of the Szpilrajn theorem and its strengthening by Dushnik and Miller, Particle lattices and fuzzy particle lattices, Continuity of linear operators in $L$-fuzzifying topological vector spaces, Cardinal: a finite sets constraint solver, Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding, Fuzzy sets and sheaves. I: Basic concepts, Textures and $C$-spaces, On directed sets and their suprema, On the compact open and finest splitting topologies, Prime elements of non-integral quantales and their applications., Representable $(\mathbb{T},\mathbf{V})$-categories, Continuous modular lattices of breadth two, Dualities of Noetherian posets, Denotational semantics of a parallel object-oriented language, A metric for traces, Pluri-adjoints and preservation of finite limits, Semantics of types for database objects, Quasicontinuous posets, A couple of triples, An algebraic approach to stable domains, Continuous categories and exponentiable toposes, Fuzzy topology with respect to continuous lattices, Compact representations - the lattice theory of compact ringed spaces, Topological geometric lattices, Torsion free modules, Eine Kennzeichnung topologischer Räume durch Vervollstaendigungen, Approximating orders in meet-continuous lattices and regularity axioms in many valued topology, More on the strength of Engeler's lemma., Near $S^{\ast}$-compactness in $L$-topological spaces, Essentially complete $T_ 0-$spaces. II. A lattice-theoretic approach, Compact right uppersemicontinuous semigroups of closed sets, Computability and the morphological complexity of some dynamics on continuous domains, A tribute to Karl H. Hofmann on the occasion of his 75th birthday, Fuzzy inverse compactness, Soft constraint abstraction based on semiring homomorphism, Pointfree forms of Dowker's and Michael's insertion theorems, Sequentially dinormal ditopological texture spaces and dimetrizability, Monotone insertion of lattice-valued functions, On the greatest splitting topology, Dimensional properties of graphs and digital spaces., Degrees of fuzzy compactness in $L$-fuzzy topological spaces, Compactification of lattice-valued convergence spaces, Pointed semi-quantales and lattice-valued topological spaces, Convex normal functions revisited, Notes on the products of the lower topology and Lawson topology on posets, Approach merotopological spaces and their completion, Fuzzy points and attachment, $L$-fuzzifying preproximity spaces and $L$-fuzzifying preuniform spaces, Exponentiable monomorphisms in categories of domains, Function spaces from core compact coherent spaces to continuous B-domains, On the compact-open and admissible topologies, Real dicompact textures, Real dicompactifications of ditopological texture spaces, Ordinal decompositions for preordered root systems, Ordered groups with a conucleus, Conjugate topology of pointwise metric molecular lattices, Metric topology on the $L$-fuzzy real line, Duality vs. adjunction for fuzzy mathematical morphology and general form of fuzzy erosions and dilations, Fuzzy complete lattices, The Dedekind-MacNeille completions for fuzzy posets, $(L,M)$-fuzzy matroids, A topological position of the set of continuous maps in the set of upper semicontinuous maps, Lattice-valued fuzzy interior operators, Similarity, topology, and uniformity, MacNeille completion and profinite completion can coincide on finitely generated modal algebras, Standard completions for quasiordered sets, M-distributive lattices, Algebraic relations and presentations, The category of Z-continuous posets, Measurable refinement monoids and applications to distributive semilattices, Heyting algebras, and Stone spaces, Semilattices which must contain a copy of $2^ N$, Posets isomorphic to their extensions, $T_ 0$-spaces and pointwise convergence, Some applications of lattice theory to shape theory, A continuous lattice L with DID(L) incomplete, Admissible representations of effective cpo's, Algebraic theories for continuous semilattices, Some partial results on the cancellation law for the tensor product of complete lattices, A topological correspondence between partial actions of groups and inverse semigroup actions, Sheaves of implicit operations in weak varieties of partial algebras, Information systems for continuous posets, A note on continuous partially ordered sets, Intersection types and lambda models, Continuous monads, Lattice-valued induced fuzzy topological spaces, A new definition of fuzzy compactness, Corrigendum to: ``A model structure à la Thomason on 2-Cat, Associativity, commutativity and symmetry in residuated structures, Flat morphology on power lattices, The Zariski topology and essential extensions of semilattices, Some characterization theorems on induced $I(L)$-topological spaces, Triangular norms on partially ordered sets, A generalization of completely distributive lattices, Topological properties of the binary supremum function, Complete congruences on topologies and down-set lattices, A concrete realization of the Hoare powerdomain, Boolean topological distributive lattices and canonical extensions, Infinite distributive laws versus local connectedness and compactness properties, Extended-order algebras and fuzzy implicators, Vietoris hyperspaces over scattered Priestley spaces, Tensor products of complete lattices and their application in constructing quantales, Inverse systems and limits in the category of ditopological plain spaces, Rough approximations via ideal on a complete completely distributive lattice, A dynamic programming approach to distribution-constrained optimal stopping, Jimmie D. Lawson on the occasion of his 75th birthday, Some thoughts on countable Lindelöf products, $\beta$-compactness in $L$-fuzzy topological spaces, On a new convergence in topological spaces, Split Hausdorff internal topologies on posets, $L$-partial metrics and their topologies, The continuous weak order, Esakia style duality for implicative semilattices, Some categorical aspects of information systems and domains, Notions of local compactness and smallest compactifications of biframes, Generalizations of some ordinary and extreme connectedness properties of topological spaces to relator spaces, A textural view of the distinction between uniformities and quasi-uniformities, Mathematical morphology on bipolar fuzzy sets: general algebraic framework, On degree spectra of topological spaces, Weakly semi-preopen and semi-preclosed functions in $L$-fuzzy topological spaces, On $d$-spaces, The powerset operator on abstract interpretations, Extended real dicompactness and an application to Hutton spaces, Compact continuous $L$-domains, On the reflective and coreflective subcategory of stratified $L$-Čech closure spaces, Topological duality and lattice expansions. I: A topological construction of canonical extensions., Topological duality and lattice expansions. II: Lattice expansions with quasioperators., Lowen spaces, Fuzzy sets as texture spaces. I: Representation theorems, $\mathcal S$-topologies and bounded convergences, A study of convergences in partially ordered sets, Projective sup-algebras: a general view, Choiceless, pointless, but not useless: dualities for preframes, The enriched Vietoris monad on representable spaces, $L$-fuzzy numbers and their properties, Conditional toggle mappings: principles and applications, $s_2$-quasicontinuous posets., Cartesian closed stable categories, The category of pointwise S-proximity spaces, Galois connections between categories of $L$-topological spaces, Compact Hausdorff spaces with relations and Gleason spaces, Strong De Morgan's law and the spectrum of a commutative ring, $L$-uniform spaces versus $\mathbb {I}(L)$-uniform spaces, Sums of $L$-fuzzy topological spaces, A new approach to $L-T_{2}$, $L$-Urysohn, and $L$-completely Hausdorff axioms, Hurewicz spaces and the selectively $\omega^*$-grouping property, Categories isomorphic to $L$-FTOP, Categories isomorphic to the Kubiak-Šostak extension of TML., Categories of lattice-valued sets as categories of arrows, The category of supercontinuous posets, Lawson compactness on function spaces of domains, On the computational content of the Lawson topology, Algebraic topology and concurrency, Hausdorff coalgebras, Point-sensitive and point-free patch constructions, Priestley spaces, quasi-hyperalgebraic lattices and Smyth powerdomains, Issues on adjointness in multiple-valued logics, Canonical extensions and profinite completions of semilattices and lattices, $L$-metric on the space of $L$-fuzzy numbers, On the instability of a topological game related to consonance, The Vietoris monad and weak distributive laws, Consonant spaces and topological games, Sparse approximate solutions to max-plus equations, On generalized equilogical spaces, An arithmetic topos for integer matrices, Space-time singularities vs. topologies in the Zeeman-Göbel class, A study of the quasi covering dimension of finite lattices, Separated and prime compactifications, On central algorithms of approximation under fuzzy information, An extension of the fuzzy unit interval to a tensor product with completely distributive first factor, Lim-inf convergence in partially ordered sets, Fuzzy $L$-bornological spaces, A new notion of fuzzy compactness in $L$-topological spaces, Some characterizations of the tensor product of complete lattices with applications to quantales, The constructive maximal point space and partial metrizability, Convergence of fuzzy sets with respect to the supremum metric, Dualities for modal algebras from the point of view of triples, Formalization of quasilattices, Unnamed Item, STRATIFIED (L, M)-FUZZY DERIVED SPACES, CHARACTERIZATIONS OF (L;M)-FUZZY TOPOLOGY DEGREES, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Witt rings of quadratically presentable fields, EXPONENTIAL LAW AND θ-CONTINUOUS FUNCTIONS, Boolean universes above Boolean models, On Vaughan Pratt's crossword problem, Towards Generalizing Bayesian Statistics: A Random Fuzzy Set Approach, ORDER EXTENSIONS AS ADJOINT FUNCTORS, A knowledge representation based on the Belnap's four-valued logic, JOIN SEMICONTINUOUS LATTICES AND JOIN SEMICONTINUOUS FUNCTIONS, On the MacNeille Completion of the Category of Partially Ordered Topological Spaces, Generalization of Continuous Posets, I2-convergence in T0 spaces, Unnamed Item, TOPOLOGICAL SPACES WITH A COARSEST COMPATIBLE QUASI-PROXIMITY, Gradation of continuity for fuzzy soft mappings, The B-topology on $S^{\ast}$-doubly quasicontinuous posets, On the Orderability Problem and the Interval Topology, The query topology in logic programming, Logic of plotkin continuous domain, Poset properties of complex traces, Complements of consonant spaces in complete spaces, Insertion of lattice-valued functions for some topological spaces, FUZZY TOPOLOGIES OF SCOTT CONTINUOUS FUNCTIONS AND THEIR RELATION TO THE HYPERGRAPH FUNCTOR, Descriptive complexity of $\mathsf{qc} \mathsf{b}_0$-spaces, Uniform spaces based on a way below relation, θ-continuity and D_θ-completion of posets, On Uniform Convergence Structures, On Fuzzy Theory for Econometrics, Homomorphisms and Endomorphisms in Varieties of Pseudocomplemented Distributive Lattices (with Applications to Heyting Algebras), Completion of a Construction of Johnstone, Nonstandard analysis in topology: nonstandard and standard compactifications, Unnamed Item, Continuous Fragment of the mu-Calculus, Knowledge representation as domain, Total C-denseness, An abstract interpretation-based model for safety semantics, Web spaces and worldwide web spaces: topological aspects of domain theory, Inner Points and Breadth in Certain Compact Semilattices, A framework for knowledge-based systems, The order on the light cone and its induced topology, Some categorical aspects of the inverse limits in ditopological context, ON STRATIFIED LATTICE-VALUED CONVERGENCE SPACES, The Mathematical Import of Zermelo's Well-Ordering Theorem, L-FUZZY CONVEXITY INDUCED BY L-CONVEX FUZZY SUBLATTICE DEGREE, A COMMON FRAMEWORK FOR LATTICE-VALUED, PROBABILISTIC AND APPROACH UNIFORM (CONVERGENCE) SPACES, A domain for concurrent termination a generalization of Mazurkiewicz traces, Convergence and quantale-enriched categories, Hochster’ theorem, coherent locales, and lattices of radical ideals, A Direct Proof of the Hofmann-Mislove Theorem, Domains for Computation in Mathematics, Physics and Exact Real Arithmetic, Unnamed Item, LOWER SET-VALUED FUZZY TOPOLOGIES, Continuous Domains and their Information System Representation as Logical Systems, Unnamed Item, Completion in a common supercategory of Met, UAP, wsAP and Near, Stably Compact Spaces and Closed Relations, L-approach merotopies and their categorical perspective, Can partial indexings be totalized?, ORDERED ONEPOINT-COMPACTIFICATIONS, STABLY CONTINUOUS FRAMES AND TENSORS, On effective topological spaces, Continuous Domain Theory in Logical Form, Intersection Types and Computational Rules, Unnamed Item, A note on Baire spaces and continuous lattices, Unnamed Item, Unnamed Item, Archimedean components of triangular norms, Priestley Spaces, Isomorphism Universal Varieties of Heyting Algebras, Local Initial Segments of The Turing Degrees, Unnamed Item, Module classifying functors, A Compact Semilattice on the Hilbert Cube with No Interval Homomorphism, A Framework for Component Categories, Criteria for Homotopic Maps to be So Along Monotone Homotopies, M-FUZZIFYING TOPOLOGICAL CONVEX SPACES, The causal order on the ambient boundary, Lattices of capacities, and related topologies1, Unnamed Item, Unnamed Item, Unnamed Item, Finiteness conditions and distributive laws for Boolean algebras, Topologies on lattice ordered groups, separation from closed downward sets and conjugations of type Lau, Characterizations of semantic domains for randomized algorithms, Unnamed Item, Local Compactness and the Baire Category Theorem in Abstract Stone Duality, Nets and reverse mathematics, On the Scott topology on the set $C(Y,Z)$ of continuous maps, Limits in categories of Vietoris coalgebras, Order convergence and compactness, Computerizing Mathematical Text with MathLang, PROPOSITIONAL LOGIC, FRAMES, AND FUZZY ALGEBRA, Meeting of the Association for Symbolic Logic Florence, Italy 1982, Pseudo-retract functors for local lattices and bifinte L-domains, Sequential functions on indexed domains and full abstraction for a sub-language of PCF, Linear domains and linear maps, Universal quasi-prime algebraic domains, The asymmetric topology of computer science, Fuzzy closure operators and their applications, Unnamed Item, Contra Continuity Properties of Relations in Relator Spaces, Recursive solution of initial value problems with temporal discretization, Ordinal sums: from triangular norms to bi- and multivariate copulas, Decomposition of domains, Cartesian closed categories of domains and the space proj(D), An upper power domain construction in terms of strongly compact sets, Quasilattices and complex concept analysis, Consonant spaces of countable type and the Menger property, Spacetimes as Topological Spaces, and the Need to Take Methods of General Topology More Seriously, A domain-theoretic framework for robustness analysis of neural networks, Connections, Causal structure of spacetime and Scott topology, Robustness, Scott continuity, and computability, Representation of partially ordered sets, MacNeille completions and canonical extensions, Revisiting di-uniformity and full-dinormality via dicovers, THE CLASSICAL CONTINUUM WITHOUT POINTS, Normally supercompact spaces and completely distributive posets, The regular-locally compact coreflection of a stably locally compact locale, The inverse limit in the category of topological molecular lattices, Some hierarchies of QCB₀-spaces, Some results on Hahn--Banach-type theorems for continuous D-cones, Urysohn separation property in topological molecular lattices, On first countable $L$-fuzzy topological spaces, Implicational lattices and generalization of Stone's representation theorem, Cartesian closedness of categories of completely distributive lattices, A natural topology for fuzzy numbers, On morphological operators based on rank filters, Fuzzifying topological vector spaces on completely distributive lattices, Unnamed Item, Inverse systems and inverse limits in the category of plain textures, Unnamed Item, On the Lattice of Stratified Principal L-topologies, Computable analysis with applications to dynamic systems, Unnamed Item, A study concerning splitting and jointly continuous topologies onC(Y,Z), Unnamed Item, Fuzzy Galois connections on fuzzy posets, On measures of parameterized fuzzy compactness, BL-global representations, Unnamed Item