scientific article

Publication date: 17 September 1992

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

frames locales domain theory Stone space sober spaces power domains spectra of rings point logic Scott open filter theorem

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categorical methods in general topology (54B30) Frames, locales (06D22) Continuous lattices and posets, applications (06B35) Research exposition (monographs, survey articles) pertaining to general topology (54-02)

Related Items (only showing first 100 items - show all)

Measuring the local non-convexity of real algebraic curves ⋮ Spectral sets ⋮ Enriched categories and many-valued preorders: categorical, semantical, and topological perspectives ⋮ Lattice-valued bornological systems ⋮ Lattice-valued preordered sets as lattice-valued topological systems ⋮ Continuity and geometric logic ⋮ Natural number objects in Dialectica categories ⋮ Category theoretic aspects of chain-valued frames. I: Categorical and presheaf theoretic foundations ⋮ Logics and quantum gravity ⋮ Variations on the bagdomain theme ⋮ PCF extended with real numbers ⋮ A spatial view of information ⋮ Private announcements on topological spaces ⋮ Stone duality and representation of stable domain ⋮ Lattice-valued topological systems as a framework for lattice-valued formal concept analysis ⋮ Coalgebraic representations of distributive lattices with operators ⋮ A formal mathematical framework for modeling probabilistic hybrid systems ⋮ On the strong amalgamation of Boolean algebras ⋮ Information completeness in Nelson algebras of rough sets induced by quasiorders ⋮ Duality for modal \(\mu\)-logics ⋮ Topological systems as a framework for institutions ⋮ Yet another patch construction for continuous frames and connections to the Fell compactification ⋮ The common order-theoretic structure of version spaces and ATMSs ⋮ The basic Zariski topology ⋮ Enough regular Cauchy filters for asymmetric uniform and nearness structures ⋮ Lattice-valued soft algebras. ⋮ Presenting the frame of the unit circle. ⋮ The categories \(L\)-\(\mathbf{Top}_{0}\) and \(L\)-\(\mathbf{Sob}\) as epireflective hulls ⋮ Overview and comparison of localic and fixed-basis topological products ⋮ Hypergraph functor and attachment ⋮ On limits and colimits of variety-based topological systems ⋮ On a generalization of the concept of state property system ⋮ Modalities in the Stone age: a comparison of coalgebraic logics ⋮ Interweaving algebra and topology: lattice-valued topological systems ⋮ Categorical foundations of variety-based topology and topological systems ⋮ Almost new pre-apartness from old ⋮ The quasi-lattice of indiscernible elements ⋮ The patch construction is dual to algebraic DCPO representation ⋮ Quantale algebras as lattice-valued quantales ⋮ The reals as full and balanced biframe ⋮ Measure, randomness and sublocales ⋮ Localic sup-lattices and tropological systems. ⋮ Some points in formal topology. ⋮ Spaces with a pretty base ⋮ Entailment systems for stably locally compact locales ⋮ A universal characterization of the double powerlocale ⋮ Entourage uniformities for frames ⋮ Lower and upper power domain constructions commute on all cpos ⋮ A Hofmann-Mislove theorem for bitopological spaces ⋮ Duality and the completeness of the modal \(\mu\)-calculus ⋮ A semantic hierarchy for intuitionistic logic ⋮ Constraint nets: a semantic model for hybrid dynamic systems ⋮ Lattice structures for attractors. II ⋮ Stable domains are generalized topological spaces ⋮ The mixed powerdomain ⋮ Machine semantics ⋮ Composite variety-based topological theories ⋮ An asymmetric characterization of the congruence frame ⋮ A representation theorem for quantales ⋮ Topology vs generalized rough sets ⋮ Fuzzy sets and geometric logic ⋮ Necessity of non-stratified and anti-stratified spaces in lattice-valued topology ⋮ From quantale algebroids to topological spaces: fixed- and variable-basis approaches ⋮ \(L\)-topological spaces as spaces of points ⋮ Fuzzy algebras as a framework for fuzzy topology ⋮ Generalized fuzzy topology versus non-commutative topology ⋮ The probabilistic powerdomain for stably compact spaces ⋮ Stone coalgebras ⋮ A bitopological point-free approach to compactifications ⋮ Fuzzy points and attachment ⋮ Natural deduction for first-order hybrid logic ⋮ Variable-basis topological systems versus variable-basis topological spaces ⋮ Algebraic aspects of generalized approximation spaces ⋮ Situations in LTL as strings ⋮ Self-oscillation ⋮ Operational domain theory and topology of sequential programming languages ⋮ Rough concept lattices and domains ⋮ On what ontology is and not-is ⋮ The connected Vietoris powerlocale ⋮ A categorical outlook on relational modalities and simulations ⋮ Possible worlds and resources: The semantics of \(\mathbf{BI}\) ⋮ Ordinal decompositions for preordered root systems ⋮ The properties of \(\models\)-filters of a topological system ⋮ Incompatible empirically equivalent theories: a structural explication. ⋮ Vivid: a framework for heterogeneous problem solving ⋮ Properly injective spaces and function spaces ⋮ Topology, domain theory and theoretical computer science ⋮ A topos for algebraic quantum theory ⋮ Boolean connection algebras: A new approach to the Region-Connection Calculus ⋮ Analysis of billiard ball computation using phase space logics ⋮ Exponentiable objects in the category of topological molecular lattices ⋮ Toward an infinitary logic of domains: Abramsky logic for transition systems ⋮ Integration in Real PCF ⋮ Clausal logic and logic programming in algebraic domains ⋮ On Krull's separation lemma ⋮ On the semilattice of inner extensions of a fuzzy partial algebra ⋮ On the Yoneda completion of a quasi-metric space ⋮ Expressiveness of concept expressions in first-order description logics ⋮ Order-theoretic, topological, categorical redundancies of interval-valued sets, grey sets, vague sets, interval-valued ``intuitionistic sets, ``intuitionistic fuzzy sets and topologies ⋮ Tropological systems are points of quantales

This page was built for publication: