Substructural logics naturally support a quantitative interpretation of formulas. as they are seen as consumable resources. Distances are the quantitative counterpart of equivalence relations: they measure how much two objects are similar. rather than just saying whether they are equivalent or not. https://atome3des.shop/product-category/immateriel-diy/