scientific article
From MaRDI portal
Publication:3994458
zbMath0668.54001MaRDI QIDQ3994458
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
frameslocalesdomain theoryStone spacesober spacespower domainsspectra of ringspoint logicScott open filter theorem
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)
At most 4 topologies can arise from iterating the de Groot dual ⋮ A Duality Theorem for Real C * Algebras ⋮ Information systems for continuous posets ⋮ Intersection types and lambda models ⋮ Unnamed Item ⋮ Formulas on the lattice of fuzzy subalgebras in universal algebra ⋮ Semantics of a sequential language for exact real-number computation ⋮ Fuzzy topology via fuzzy geometric logic with graded consequence ⋮ Projective points over matrices and their separability properties ⋮ Stone dualities from opfibrations ⋮ How to construct a product of a-frames ⋮ TRANSITIVITY IN POINT-FREE TOPOLOGY ⋮ Quantales, observational logic and process semantics ⋮ Relational Representation Theorem for Powerset Quantales ⋮ Asymmetry and duality in topology ⋮ A rational reconstruction of the domain of feature structures ⋮ A concrete realization of the Hoare powerdomain ⋮ The compactificability classes of certain spaces ⋮ The Samuel compactification for quasi-uniform biframes ⋮ Data refinement, call by value and higher order programs ⋮ An asymmetric approach to filters in strict extensions and quotients ⋮ Three-valued derived logics for classical phase spaces ⋮ Sierpinski object for affine systems ⋮ Categorical foundations of variety-based bornology ⋮ Temporal Structures ⋮ A perspective on non-commutative frame theory ⋮ An intuitionistic proof of Tychonoff's theorem ⋮ Implication via spacetime ⋮ On topological systems ⋮ Lattice structures for attractors. III ⋮ Topological reasoning and the logic of knowledge ⋮ Coverages on inverse semigroups ⋮ Autonomous posets and quantales ⋮ Tensor topology ⋮ Categorical shape theory as a formal language for pattern recognition? ⋮ Presenting de Groot duality of stably compact spaces ⋮ A topological approach to full belief ⋮ Remarks on hyperspaces for Priestley spaces ⋮ On graphs of bounded semilattices ⋮ Quotients of d-frames ⋮ Radical theory of Scott-open filters ⋮ On the geometry of physical measurements: topological and algebraic aspects ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Categorically algebraic topology versus universal topology ⋮ Constructive theory of the lower power locale ⋮ A presentation of the assembly of a frame by generators and relations exhibits its bitopological structure. ⋮ Extremal Prime Filters and Universality of Some Categories ⋮ CAUCHY POINTS OF UNIFORM AND NEARNESS FRAMES ⋮ Unnamed Item ⋮ On Rough Concept Lattices ⋮ L-fuzzy Scott Topology and Scott Convergence of Stratified L-filters on Fuzzy Dcpos ⋮ The principle of pointfree continuity ⋮ Web spaces and worldwide web spaces: topological aspects of domain theory ⋮ A NOTE ON RECONSTRUCTION OF SPACES AND MAPS FROM LATTICE DATA ⋮ Stably locally compact locales are dual to continuous posets ⋮ Thompson aggregators, Scott continuous koopmans operators, and least fixed point theory ⋮ Some further results about uninorms on bounded lattices ⋮ Domains occur among spaces as strict algebras among lax ⋮ Positive monotone modal logic ⋮ Non-Archimedean game theory: a numerical approach ⋮ Unnamed Item ⋮ Generalised powerlocales via relation lifting ⋮ Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study ⋮ A Direct Proof of the Hofmann-Mislove Theorem ⋮ Tychonoff's theorem in the framework of formal topologies ⋮ Continuous Domains and their Information System Representation as Logical Systems ⋮ Stably Compact Spaces and Closed Relations ⋮ On the category of lattice-valued bornological vector spaces ⋮ Situations as Strings ⋮ A method for constructing coreflections for nearness frames. ⋮ A Grim semantics for logics of belief ⋮ Continuous Domain Theory in Logical Form ⋮ Coverages give free constructions for partial frames ⋮ Unnamed Item ⋮ Fixed points and frontiers: a new perspective ⋮ On the computational content of the Lawson topology ⋮ Algebraic and Categorical Aspects of Quantales ⋮ Lattice structures for attractors. I ⋮ THE MCKINSEY–TARSKI THEOREM FOR LOCALLY COMPACT ORDERED SPACES ⋮ A topological duality for posets ⋮ RECOVERING THE BOUNDARY PATH SPACE OF A TOPOLOGICAL GRAPH USING POINTLESS TOPOLOGY ⋮ Unnamed Item ⋮ Announcement as effort on topological spaces ⋮ An abstract theory of physical measurements ⋮ Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic ⋮ Unnamed Item ⋮ Simple Easy Terms ⋮ THE LOGIC OF INFORMATION IN STATE SPACES ⋮ Epistemic foundations for set-algebraic representations of knowledge ⋮ Pretopologies and a uniform presentation of sup-lattices, quantales and frames ⋮ Programming interfaces and basic topology ⋮ Formal Zariski topology: Positivity and points ⋮ Hofmann-Mislove through the lenses of Priestley ⋮ A Convenient Category of Domains ⋮ Higher order functions and Brouwer’s thesis ⋮ Unnamed Item ⋮ ON THE COMPLETION OF NEARNESS FRAMES ⋮ Strong Completeness of S4 for the Real Line
This page was built for publication:
