scientific article; zbMATH DE number 949397

zbMATH Open0922.54002MaRDI QIDQ4716293FDOQ4716293

Steven Vickers

Publication date: 25 November 1996

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

Recommendations

• scientific article; zbMATH DE number 41225
• Frames: topology without points.
• Frames and Locales
• Continuous Lattices and Domains
• scientific article; zbMATH DE number 2156379

zbMATH Keywords

framedomain theoryScott topologysemantics of programming languagespower domainsScott spacesspectral locales

Mathematics Subject Classification ID

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

Cited In (26)

• Making Sense of Sense Containment
• Title not available (Why is that?)
• Title not available (Why is that?)
• Fundamental results for pointfree convex geometry
• Chu duality theory and coalgebraic representation of quantum symmetries
• AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
• Logic, topology, and integration
• Title not available (Why is that?)
• Frames and grids
• Why Categories?
• Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic
• Vagueness, Kant and topology: a study of formal epistemology
• The Topology of Statistical Verifiability
• Reasoning about distributed information with infinitely many agents
• Formalising basic topology for computational logic in simple type theory
• Some further results on pointfree convex geometry
• Characterizing right inverses for spatial constraint systems with applications to modal logic
• The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions
• Belief, knowledge, lies and other utterances in an algebra for space and extrusion
• Title not available (Why is that?)
• Topological duality via maximal spectrum functor
• Title not available (Why is that?)
• Ordered locales
• Deriving Inverse Operators for Modal Logic
• Realism, rhetoric, and reliability
• On the hierarchy of d-structures

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 Q4716293)