Programming semantics to topological systems to lattice-valued topology

zbMATH Open1291.18005MaRDI QIDQ2862925FDOQ2862925

Authors: Jeffrey T. Denniston, Austin Melton, S. E. Rodabaugh 

Publication date: 20 November 2013

Published in: Topology Proceedings (Search for Journal in Brave)

Recommendations

• Domain theory and topology.
• Quantitative semantics, topology, and possibility measures
• On algebraic and coalgebraic categories of variety-based topological systems
• Functorial relationships between lattice-valued topology and topological systems
• scientific article; zbMATH DE number 1959534

zbMATH Keywords

data miningspectrumadjunctionspattern matchingtopological spacesenriched categorymany-valued preorderstopological categoriesdeterministic programspreordered topological spacesnoncommutative topologiestopological systemsessentially algebraic categoriesopen predicatespostcondition predicatesprecondition predicates

Mathematics Subject Classification ID

Frames, locales (06D22) Ordered topological structures (06F30) Fuzzy topology (54A40) Categorical methods in general topology (54B30) Semantics in the theory of computing (68Q55) Enriched categories (over closed or monoidal categories) (18D20)

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Programming semantics to topological systems to lattice-valued topology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2862925)