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://herbsdailyes.shop/product-category/facial-tissues/