scientific article; zbMATH DE number 949397
From MaRDI portal
Publication:4716293
zbMATH Open0922.54002MaRDI QIDQ4716293FDOQ4716293
Publication date: 25 November 1996
Title of this publication is not available (Why is that?)
Recommendations
framedomain theoryScott topologysemantics of programming languagespower domainsScott spacesspectral locales
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)