Programming semantics to topological systems to lattice-valued topology

MaRDI QIDQ2862925zbMATH OpenFDO

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

Publication date 20 November 2013

Published in Topology Proceedings (Search for Journal in Brave)

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)

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

Cited in

(2)

• scientific article; zbMATH DE number 4030949 (Why is no real title available?)
• scientific article; zbMATH DE number 3982494 (Why is no real title available?)

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)