Approximation, solution operators and quantale-valued metrics

DOI10.1007/S00010-017-0485-8zbMATH Open1381.41036OpenAlexW2619844551MaRDI QIDQ2407702FDOQ2407702

Authors: Paweł Siedlecki 

Publication date: 6 October 2017

Published in: Aequationes Mathematicae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00010-017-0485-8

Recommendations

• Unified approach to graphs and metric spaces
• scientific article; zbMATH DE number 7523908
• Generalized quantifiers and modal logic
• Directions in generalized quantifier theory
• scientific article; zbMATH DE number 5794502
• Quantitative Behavioural Reasoning for Higher-order Effectful Programs
• Quantales and continuity spaces
• scientific article; zbMATH DE number 4079383
• Generalized lower and upper approximations in quantales
• Generalized metrics and uniquely determined logic programs.

zbMATH Keywords

topological spacesquantalesabstract approximation theory

Mathematics Subject Classification ID

Abstract approximation theory (approximation in normed linear spaces and other abstract spaces) (41A65) Topological spaces with richer structures (54E99) Quantales (06F07)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Quantales and continuity spaces
• Continuity spaces: Reconciling domains and metric spaces
• A note on the metrizability of spaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• Measuring uncertainty without a norm

This page was built for publication: Approximation, solution operators and quantale-valued metrics

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