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)

Some abstract maximal ideal-like spaces
CABool is monadic over almost all categories
Inner Points and Breadth in Certain Compact Semilattices
On the axiomatisability of the dual of compact ordered spaces
The query topology in logic programming
Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
PROPOSITIONAL LOGIC, FRAMES, AND FUZZY ALGEBRA
Stopping and set-indexed local martingales
Compact representations - the lattice theory of compact ringed spaces
Projective and injective objects in the category of quantales
\textit{SI}-convergence in \(T_0\) spaces
D-continuous causal nets: A model of non-sequential processes
Continuity of linear operators in \(L\)-fuzzifying topological vector spaces
On Uniform Convergence Structures
On directed sets and their suprema
The category of pointwise S-proximity spaces
On dissolute spaces
Discrete dynamical systems in \(L\)-topological spaces
Projective sup-algebras: a general view
scientific article; zbMATH DE number 6027026 (Why is no real title available?)
Regular algebra applied to language problems
A generalization of core compact spaces
\(\theta\)-continuity and \(D_\theta\)-completion of posets
Retracts of the closure space of filters in the lattice of all subsets
Generalized quasi-proximities
Intrinsic topologies on semilattices of finite breadth
Spacetimes as topological spaces, and the need to take methods of general topology more seriously
Comparative semantics for flow of control in logic programming without logic
Equational theory of continuous lattices
Strong fuzzy compact sets and ultra-fuzzy compact sets in \(L\)-topological spaces
Tensor products of complete lattices and their application in constructing quantales
Closure functions and general iterates as reflectors
Categories of locally hypercompact spaces and quasicontinuous posets
Lattices of capacities, and related topologies1
Measurable refinement monoids and applications to distributive semilattices, Heyting algebras, and Stone spaces
Connectedness on fuzzy topological spaces
Semigroups with \(\wedge\)-semidistributive subsemigroup lattices
Intersection types and computational rules
Designing equivalent semantic models for process creation
Separation axioms in fuzzy topology characterized by bitopologies
Predictability and stopping on lattices of sets
Induction and recursion on the partial real line with applications to Real PCF
Prime algebraicity
Lattices of random sets and progressivity
A characterization of full sublattices of finite dimensional Euclidean space
Stability of the Souslin operation
A tribute to Karl H. Hofmann on the occasion of his 75th birthday
On degree spectra of topological spaces
Some categorical aspects of fuzzy topology
A note on stratified \(L\)-real line and unit \(L\)-interval
\(L\)-proximities and totally bounded pointwise \(L\)-uniformities
Sums of \(L\)-fuzzy topological spaces
On the category of fixed basis frame valued topological groups
Intersection types and lambda models
An insertion theorem for continuous \(\mathbb I(L)\)-valued functions and its consequences
Galois connections between categories of \(L\)-topological spaces
Categories isomorphic to \(L\)-FTOP
Soft constraint abstraction based on semiring homomorphism
Convergence and quantale-enriched categories
Properly injective spaces and function spaces
Point-set lattice-theoretic topology
Stably compact spaces and closed relations
PCF extended with real numbers
Distributive laws for concept lattices
Extension of Shi's quasi-uniformities in a Kubiak-Šostak sense
Domain theory in logical form
Infinite distributive laws versus local connectedness and compactness properties
Ditopological texture spaces and fuzzy topology. I: basic concepts
Ditopological texture spaces and fuzzy topology. II: topological considerations
The \(\sigma_1\)-topology and \(\lambda_1\)-topology on \(s_1\)-quasicontinuous posets.
Subcategories of lattice-valued convergence spaces
Applications of localic separation axioms, compactness axioms, representations, and compactifications to poslat topological spaces
On \(L\)-Tychonoff spaces
Solutions to two problems of J. D. Lawson and M. Mislove
On the largest Cartesian closed category of stable domains.
The way-below relation of function spaces over semantic domains
Function spaces from core compact coherent spaces to continuous B-domains
Domain theory and integration
Category theoretic aspects of chain-valued frames. I: Categorical and presheaf theoretic foundations
Monoidal computer. I: Basic computability by string diagrams
Compactification of lattice-valued convergence spaces
Degrees of fuzzy compactness in \(L\)-fuzzy topological spaces
Convex normal functions revisited
Continuous completions
An example of formalizing recent mathematical results in MIZAR
Birkhoff's order-convergence in partially ordered sets.
Lattices of convex normal functions
The constructive maximal point space and partial metrizability
Bigeneration in complete lattices and principal separation in ordered sets
Continuous domains and their information system representation as logical systems
The Dedekind-MacNeille completion as a reflector
Basic structures of fuzzy topology
Ditopological texture spaces and intuitionistic sets
Topology, domain theory and theoretical computer science
The probabilistic powerdomain for stably compact spaces
Regularity and normality of \((L,M)\)-fuzzy topological spaces
\(L\)-topological spaces as spaces of points
Fuzzy Galois connections under weak conditions
Fuzzy points and attachment
On a possible continuous analogue of the Szpilrajn theorem and its strengthening by Dushnik and Miller

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)