Quantitative equational reasoning provides a framework that extends equality to an abstract notion of proximity by endowing equations with an element of a quantale. In this paper, we discuss the unification problem for a special class of shallow subterm-collapse-free quantitative equational theories. We outline rule-based algorithms for solving such equational unification problems over generic as well as idempotent Lawvereian quantales and study their properties.
| Original language | English |
|---|
| Place of Publication | Hagenberg, Linz |
|---|
| Publisher | RISC, JKU |
|---|
| Number of pages | 23 |
|---|
| Publication status | Published - Apr 2024 |
|---|
| Name | RISC Report Series, Johannes Kepler University Linz, Austria |
|---|
| No. | 24-03 |
|---|
| ISSN (Print) | 2791-4267 |
|---|
- 101 Mathematics
- 101001 Algebra
- 101005 Computer algebra
- 101009 Geometry
- 101012 Combinatorics
- 101013 Mathematical logic
- 101020 Technical mathematics