scientific article; zbMATH DE number 949397

MaRDI QIDQ4716293zbMATH OpenFDO

Authors Steven Vickers

Publication date 25 November 1996

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)

Recommendations

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

Cited in

(32)

• The canonical topology on a meet-semilattice
• Why categories?
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• On proving consistency of equational theories in bounded arithmetic
• Frames: topology without points.
• scientific article; zbMATH DE number 2103277 (Why is no real title available?)
• Fundamental results for pointfree convex geometry
• The topology of statistical verifiability
• Chu duality theory and coalgebraic representation of quantum symmetries
• On the solvability of inductive problems: a study in epistemic topology
• AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
• Some completeness results in derivational modal logic
• Logic, topology, and integration
• Frames and grids
• scientific article; zbMATH DE number 7121950 (Why is no real title available?)
• Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic
• Vagueness, Kant and topology: a study of formal epistemology
• Reasoning about distributed information with infinitely many agents
• Formalising basic topology for computational logic in simple type theory
• Making sense of sense containment
• Characterizing right inverses for spatial constraint systems with applications to modal logic
• Some further results on pointfree convex geometry
• Deriving inverse operators for modal logic
• Machine space. I: Weak exponentials and quantification over compact spaces
• The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions
• The properties of -filters of a topological system
• Belief, knowledge, lies and other utterances in an algebra for space and extrusion
• scientific article; zbMATH DE number 3924775 (Why is no real title available?)
• Topological duality via maximal spectrum functor
• Ordered locales
• 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)