scientific article; zbMATH DE number 3706504

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

Cited in

(only showing first 100 items - show all)

scientific article; zbMATH DE number 3929239 (Why is no real title available?)
LOWER SET-VALUED FUZZY TOPOLOGIES
On generalized equilogical spaces
L-fuzzy local compactness
A concrete realization of the Hoare powerdomain
On non-Hausdorff spaces
scientific article; zbMATH DE number 2156365 (Why is no real title available?)
The Mathematical Import of Zermelo's Well-Ordering Theorem
A memo on the exponential function and regular points
\textit{SI}-convergence in \(T_0\) spaces
scientific article; zbMATH DE number 6027026 (Why is no real title available?)
Corrigendum to: ``A model structure à la Thomason on 2-Cat
Choiceless, pointless, but not useless: dualities for preframes
Fuzzy topology with respect to continuous lattices
\(M\)-fuzzifying topological convex spaces
The generalized Riemann integral on locally compact spaces
Strong De Morgan's law and the spectrum of a commutative ring
Characterizations of \((L,M)\)-fuzzy topology degrees
A study of convergences in partially ordered sets
Closures on CPOs form complete lattices
A negative answer to T. Kubiak's question
On central algorithms of approximation under fuzzy information
Fuzzy \(L\)-bornological spaces
Dualities for modal algebras from the point of view of triples
Cones, semicontinuous functions, and continuous lattices
The inverse limit in the category of topological molecular lattices
Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements
Denotational semantics of a parallel object-oriented language
Generalization of Scott's formula for retractions from generalized Alexandroff's cube
Set-theoretical and other elementary models of the \(\lambda\)-calculus
The N-compactness in L-fuzzy topological spaces
Morphisms of projective geometries and of corresponding lattices
Programs in partial algebras
Domains arising as algebras for powerspace constructions
Nets and reverse mathematics
Equational compactness of bi-frames and projection algebras
scientific article; zbMATH DE number 1154167 (Why is no real title available?)
Local connectedness in \(L\)-topological spaces
Bohr topologies and compact function spaces
Textures and C-spaces
Some applications of lattice theory to shape theory
On the axiomatisability of the dual of compact ordered spaces
Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
Priestley spaces, quasi-hyperalgebraic lattices and Smyth powerdomains
The regular-locally compact coreflection of a stably locally compact locale
Axiomatic approaches to rough approximation operators via ideal on a complete completely distributive lattice
A categorical treatment of pre- and post-conditions
A geometric approach to the Bohr compactification of cones
Priestley Spaces
Torsion free modules
Generalizations of some ordinary and extreme connectedness properties of topological spaces to relator spaces
On the greatest splitting topology
ON STRATIFIED LATTICE-VALUED CONVERGENCE SPACES
Convergence and quantale-enriched categories
Total C-denseness
Convexity and quasi-uniformizability of closed preordered spaces
Local property, normality, and uniformity in fuzzy topological spaces
Approach merotopological spaces and their completion
A truly concurrent semantics for a process algebra using resource pomsets
Resource traces: A domain for processes sharing exclusive resources.
A characterization of full sublattices of finite dimensional Euclidean space
Polish spaces, computable approximations, and bitopological spaces
Hutton uniformity in the context of fuzzy soft sets
Insertion of lattice-valued and hedgehog-valued functions
A new form of \(\mathbb F\)-compactness in \(L\)-fuzzy topological spaces
\(T_0\) topological spaces and \(T_0\) posets in the topos of \(M\)-\textbf{Sets}
Measure and integral with purely ordinal scales.
On Vaughan Pratt's crossword problem
Paracompactness in L-topological spaces
Exponentiable objects in the category of topological molecular lattices
Tight representations of semilattices and inverse semigroups.
\(Z\)-mappings and a classification theorem
Formalization of quasilattices
Martínez frames
The Vietoris monad and weak distributive laws
On the category of fixed basis frame valued topological groups
The _1-topology and _1-topology on s₁-quasicontinuous posets.
Flat morphology on power lattices
On the largest Cartesian closed category of stable domains.
An abstract interpretation-based model for safety semantics
Consonant spaces of countable type and the Menger property
Urysohn separation property in topological molecular lattices
scientific article; zbMATH DE number 720879 (Why is no real title available?)
Lattice-theoretical fixpont theorems in morphological image filtering
scientific article; zbMATH DE number 130890 (Why is no real title available?)
Notes on direct limits of complete lattices and frames
Structure of lattices characterized by validity of lattice-valued topological propositions
Lattice-valued mappings, completely distributive law and induced spaces
The asymmetric topology of computer science
Narrow and vague convergence of set functions
Initial segments of the degrees of constructibility
\(\mathcal{MN}\)-convergence and \(\lim\)-\(\inf_{\mathcal{M}}\)-convergence in partially ordered sets
Web spaces and worldwide web spaces: topological aspects of domain theory
Lowen LM-fuzzy topological spaces
Interval propagation to reason about sets: Definition and implementation of a practical language
Semi-metrics, closure spaces and digital topology
Some abstract maximal ideal-like spaces
The Dedekind-MacNeille completions for fuzzy posets
Frame-fuzzy points and membership
On \(L\)-fuzzy topological spaces

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3898534)