Solving quantitative equations

DOI10.1007/978-3-031-63501-4_20MaRDI QIDQ7034579zbMATH OpenFDO

Authors Georg Ehling, Temur Kutsia

Publication date 31 January 2025

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-63501-4_20

zbMATH Keywords

equational unificationquantitative equational reasoningLawvereian quantales

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• scientific article; zbMATH DE number 7297850 (Why is no real title available?)
• A framework for approximate generalization in quantitative theories
• A semantic account of metric preservation
• An algebraic theory of Markov processes
• Approximate reasoning by similarity-based SLD resolution.
• Constraint solving over multiple similarity relations
• Distance makes the types grow stronger: a calculus for differential privacy
• Foundations of probabilistic programming
• Fuzzy sets and systems. Theory and applications
• Metric spaces, generalized logic, and closed categories
• Proximity-based unification theory
• Quantitative Algebraic Reasoning
• Quantitative Equational Reasoning
• Syntacticness, cycle-syntacticness and shallow theories
• Unification theory

Cited in

(1)

• Graded quantitative narrowing

This page was built for publication: Solving quantitative equations

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