scientific article; zbMATH DE number 3706504

zbMATH Open0452.06001MaRDI QIDQ3898534FDOQ3898534

Authors: Gerhard Gierz, Klaus Keimel, Karl H. Hofmann, Jimmie D. Lawson, Michael Mislove, Dana Scott

Publication date: 1980

Title of this publication is not available (Why is that?)

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

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)

\textit{SI}-convergence in \(T_0\) spaces
On the axiomatisability of the dual of compact ordered spaces
Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
A characterization of full sublattices of finite dimensional Euclidean space
On the category of fixed basis frame valued topological groups
Some abstract maximal ideal-like spaces
Projective and injective objects in the category of quantales
Prime algebraicity
Categories of locally hypercompact spaces and quasicontinuous posets
Some categorical aspects of fuzzy topology
CABool is monadic over almost all categories
Connectedness on fuzzy topological spaces
An insertion theorem for continuous \(\mathbb I(L)\)-valued functions and its consequences
On degree spectra of topological spaces
Separation axioms in fuzzy topology characterized by bitopologies
Generalized quasi-proximities
Tensor products of complete lattices and their application in constructing quantales
Predictability and stopping on lattices of sets
Lattices of random sets and progressivity
Continuity of linear operators in \(L\)-fuzzifying topological vector spaces
On directed sets and their suprema
Inner Points and Breadth in Certain Compact Semilattices
Sums of \(L\)-fuzzy topological spaces
Stopping and set-indexed local martingales
Spacetimes as topological spaces, and the need to take methods of general topology more seriously
Projective sup-algebras: a general view
Intersection types and computational rules
Semigroups with \(\wedge\)-semidistributive subsemigroup lattices
\(L\)-proximities and totally bounded pointwise \(L\)-uniformities
The category of pointwise S-proximity spaces
A note on stratified \(L\)-real line and unit \(L\)-interval
Lattices of capacities, and related topologies1
The query topology in logic programming
PROPOSITIONAL LOGIC, FRAMES, AND FUZZY ALGEBRA
On Uniform Convergence Structures
Induction and recursion on the partial real line with applications to Real PCF
D-continuous causal nets: A model of non-sequential processes
Intersection types and lambda models
Stability of the Souslin operation
Strong fuzzy compact sets and ultra-fuzzy compact sets in \(L\)-topological spaces
A tribute to Karl H. Hofmann on the occasion of his 75th birthday
Intrinsic topologies on semilattices of finite breadth
Comparative semantics for flow of control in logic programming without logic
Equational theory of continuous lattices
Closure functions and general iterates as reflectors
Measurable refinement monoids and applications to distributive semilattices, Heyting algebras, and Stone spaces
\(\theta\)-continuity and \(D_\theta\)-completion of posets
On dissolute spaces
Discrete dynamical systems in \(L\)-topological spaces
Regular algebra applied to language problems
A generalization of core compact spaces
Retracts of the closure space of filters in the lattice of all subsets
Designing equivalent semantic models for process creation
Compact representations - the lattice theory of compact ringed spaces
Title not available (Why is that?)
Choiceless, pointless, but not useless: dualities for preframes
A memo on the exponential function and regular points
Strong De Morgan's law and the spectrum of a commutative ring
The regular-locally compact coreflection of a stably locally compact locale
The N-compactness in L-fuzzy topological spaces
Textures and \(C\)-spaces
On the greatest splitting topology
Approach merotopological spaces and their completion
Insertion of lattice-valued and hedgehog-valued functions
A new form of \(\mathbb F\)-compactness in \(L\)-fuzzy topological spaces
Flat morphology on power lattices
Title not available (Why is that?)
Tight representations of semilattices and inverse semigroups.
MacNeille completions and canonical extensions
Interval propagation to reason about sets: Definition and implementation of a practical language
Semi-metrics, closure spaces and digital topology
Lowen LM-fuzzy topological spaces
On \(L\)-fuzzy topological spaces
Frame-fuzzy points and membership
First-countability, sequentiality and tightness of the upper Kuratowski convergence
Algebraic theories for continuous semilattices
The logic of tied implications. II. Syntax
\({\mathbf Z}\)-continuous posets
A couple of triples
Finiteness conditions and distributive laws for Boolean algebras
Fuzzy-Stone-Čech-type compactifications
Categories isomorphic to the Kubiak-Šostak extension of TML.
O-convergence of fuzzy nets and its applications.
Linear domains and linear maps
Fuzzy complete lattices
A knowledge representation based on the Belnap's four-valued logic
Completion in a common supercategory of Met, UAP, wsAP and near
Region connection calculus: Its models and composition table
A note on Hausdorff separation in \(L\)-TOP
Lattice-valued convergence spaces and regularity
Completion of a Construction of Johnstone
Idempotent analysis and continuous semilattices
Uniform ideal completions
Archimedean components of triangular norms
Extending Stone duality to multisets and locally finite MV-algebras.
Associatively tied implications.
Propositional calculus under adjointness
On dual topologies
A textural view of the distinction between uniformities and quasi-uniformities
\(\mathcal S\)-topologies and bounded convergences

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)